OberonCore
https://forum.oberoncore.ru/

Р. Бейбер "Программное обеспечение без ошибок"
https://forum.oberoncore.ru/viewtopic.php?f=75&t=411
Страница 1 из 1

Автор:  Илья Ермаков [ Понедельник, 19 Март, 2007 14:15 ]
Заголовок сообщения:  Р. Бейбер "Программное обеспечение без ошибок"

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

Автор:  Rifat [ Четверг, 25 Март, 2010 09:30 ]
Заголовок сообщения:  Re: Р. Бейбер "Программное обеспечение без ошибок"

Другие книги этого же автора на английском языке можно найти здесь:
http://www.cas.mcmaster.ca/~baber/Books/Books.html

Автор:  kemiisto [ Воскресенье, 26 Июль, 2015 23:27 ]
Заголовок сообщения:  Re: Р. Бейбер "Программное обеспечение без ошибок"

Илья Ермаков писал(а):
Отсканированный вариант:
http://ermakov.metasystems.ru/download/ ... Errors.pdf (6,5M)

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

Автор:  Илья Ермаков [ Понедельник, 27 Июль, 2015 00:32 ]
Заголовок сообщения:  Re: Р. Бейбер "Программное обеспечение без ошибок"

Пожалуйста:
http://i.ermakov.pw/book/Beiber-SoftWithoutErrors.pdf

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/