Logic and specification extending VDM-SL for advanced formal specification

Detalles Bibliográficos
Autor principal:	Middelburg, Cornelis A.
Formato:	Libro
Lenguaje:	English
Publicado:	London Chapman & Hall c1993.
Materias:	Logic, Symbolic and mathematical. Software engineering.