Logic and specification extending VDM-SL for advanced formal specification

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Middelburg, Cornelis A.
Formáid:	LEABHAR
Teanga:	English
Foilsithe / Cruthaithe:	London Chapman & Hall c1993.
Ábhair:	Logic, Symbolic and mathematical. Software engineering.