Logic and specification : extending VDM-SL for advanced formal specification

Cornelis A. Middelburg
Bok · Engelsk · 1993 Cornelis Adam Middelburg

Utgitt	London : Chapman & Hall , 1993
Omfang	xi, 404 s.
Emner	Logic, Symbolic and mathematical Programming languages (Electronic computers) - Semantics Software engineering Formell spesifikasjon Vis mer... Logikkprogrammering Programmeringsspråk Semantikk
ISBN	0412486806