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

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

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