OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 23 Октябрь, 2018 08:16

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




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
СообщениеДобавлено: Понедельник, 19 Март, 2007 14:15 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9011
Откуда: Россия, Орёл
Хорошая брошюрка Р. Бейбера "Программное обеспечение без ошибок: приемы и секреты создания правильных программ". Про методы формального доказательства и синтеза программ.
Отсканированный вариант:
http://ermakov.metasystems.ru/download/ ... Errors.pdf (6,5M)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 25 Март, 2010 09:30 

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 713
Откуда: Казань
Другие книги этого же автора на английском языке можно найти здесь:
http://www.cas.mcmaster.ca/~baber/Books/Books.html


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 26 Июль, 2015 23:27 

Зарегистрирован: Воскресенье, 03 Февраль, 2008 12:50
Сообщения: 228
Илья Ермаков писал(а):
Отсканированный вариант:
http://ermakov.metasystems.ru/download/ ... Errors.pdf (6,5M)

Не мог бы кто-нибудь поделиться, а то сайт по ссылке почил, а найти книгу нигде не могу. :(


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 27 Июль, 2015 00:32 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9011
Откуда: Россия, Орёл
Пожалуйста:
http://i.ermakov.pw/book/Beiber-SoftWithoutErrors.pdf


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

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


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

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


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

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