Re[2]: Аксиоматическая семантика ЯП и верификация программ
От: fplab Россия http://fplab.h10.ru http://fplab.blogspot.com/
Дата: 14.10.05 12:27
Оценка:
Здравствуйте, fplab, Вы писали:

F>Здравствуйте, chukichuki, Вы писали:


C>>Кто-нибудь сталкивался с этим ? Хотелось бы побольше ссылок на хорошие (и желательно электронные) книги по заданной теме на русском или английском языке.

F>Предлагаю начать с классики т.е. с Э.Дейкстра "Дисциплина программирования" (http://www.borlpasc.narod.ru/docym/disziplin/diz.htm)
Или лучше сразу в PDF (http://nsouetova.sp.ru/descrete/library/dei.PDF)
Приходиться заниматься гадостью — зарабатывать на жизнь честным трудом (Б.Шоу)
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.