Logic and specification extending VDM-SL for advanced formal specification

Bibliografske podrobnosti
Glavni avtor:	Middelburg, Cornelis A.
Format:	Knjiga
Jezik:	English
Izdano:	London Chapman & Hall c1993.
Teme:	Logic, Symbolic and mathematical. Software engineering.