Logic and specification extending VDM-SL for advanced formal specification

Dades bibliogràfiques
Autor principal:	Middelburg, Cornelis A.
Format:	Llibre
Idioma:	English
Publicat:	London Chapman & Hall c1993.
Matèries:	Logic, Symbolic and mathematical. Software engineering.