Logic and specification extending VDM-SL for advanced formal specification

Dettagli Bibliografici
Autore principale:	Middelburg, Cornelis A.
Natura:	Libro
Lingua:	English
Pubblicazione:	London Chapman & Hall c1993.
Soggetti:	Logic, Symbolic and mathematical. Software engineering.