The way of Z practical programming with formal methods

Библиографические подробности
Главный автор:	Jacky, Jonathan
Формат:	‌
Язык:	English
Опубликовано:	New York Cambridge University Press c1997.
Предметы:	Z (Computer program language).