Logic and specification extending VDM-SL for advanced formal specification

Xehetasun bibliografikoak
Egile nagusia:	Middelburg, Cornelis A.
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	London Chapman & Hall c1993.
Gaiak:	Logic, Symbolic and mathematical. Software engineering.