Program verification

Библиографические подробности
Главный автор:	Francez, Nissim
Формат:	‌
Опубликовано:	Wokingham, Eng. Addison-Wesley Pub. c1992.
Предметы:	Computer software > Verification. Programming.