Аксиоматическая семантика ЯП и верификация программ
От: chukichuki  
Дата: 14.10.05 11:59
Оценка:
Кто-нибудь сталкивался с этим ? Хотелось бы побольше ссылок на хорошие (и желательно электронные) книги по заданной теме на русском или английском языке.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.