Описание: Formal development of programs and proofs

Сохранить в:

Библиографические подробности
Тип документа:	Книга
Язык:	English
Год издания:	Reading, Massachusetts Addison-Wesley Publ. Co. 1990
Рубрика:	Программирование
Ключевые слова:	Компьютеры персональные Программирование

0-201-17237-2