Logic and specification extending VDM-SL for advanced formal specification

Библиографические подробности
Главный автор:	Middelburg, Cornelis A.
Формат:	‌
Язык:	English
Опубликовано:	London Chapman & Hall c1993.
Предметы:	Logic, Symbolic and mathematical. Software engineering.