Logic and specification extending VDM-SL for advanced formal specification

Bibliografische gegevens
Hoofdauteur:	Middelburg, Cornelis A.
Formaat:	Boek
Taal:	English
Gepubliceerd in:	London Chapman & Hall c1993.
Onderwerpen:	Logic, Symbolic and mathematical. Software engineering.