OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Пятница, 24 Октябрь, 2025 15:25

Сообщения без ответов | Активные темы


Список форумов » Разное » Другие вопросы по программированию

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  Страница 2 из 2
  [ Сообщений: 22 ]  На страницу Пред.  1, 2
  Версия для печати Пред. тема | След. тема 
Автор Сообщение
TAU
 Заголовок сообщения: Re: Структурное программирование
СообщениеДобавлено: Среда, 03 Декабрь, 2008 00:59 

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 372
Илья Ермаков писал(а):
Вот есть пара книжек-учебников по методам верификации софта (темпоральные логики и чё-то ещё), но сам не смотрел.

О! Уже появилась электронная отсканированная версия Эмерсона и Кларка! А я только хотел написать, что вот у меня есть книжица, но не в электронном виде ;)

А с Мироновым я чуть ли не переписывался по эл.почте, правда, он не удосужился вникнуть в смысл моих разработок...

Спасибо!
Вернуться к началу
 Профиль  
 
Neplul
 Заголовок сообщения: Re: Структурное программирование
СообщениеДобавлено: Среда, 03 Декабрь, 2008 10:37 

Зарегистрирован: Суббота, 09 Август, 2008 14:22
Сообщения: 71
Откуда: Украина, Херсон
Илья Ермаков писал(а):
Первоисточников по верификации на ЖД не нашёл. Попробуйте поискать на EuroProg.ru и на Infanata.org.

Вот есть пара книжек-учебников по методам верификации софта (темпоральные логики и чё-то ещё), но сам не смотрел.

Спасибо огромное за данные книги. Все что было на Европейском центре давно уже посмотрел и скачал. На http://www.infanata.org упорно ищу .Еще раз спасибо
Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  Страница 2 из 2
  [ Сообщений: 22 ]  На страницу Пред.  1, 2

Список форумов » Разное » Другие вопросы по программированию

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 5

Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2025, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB