Logic and specification extending VDM-SL for advanced formal specification

Logic and specification extending VDM-SL for advanced formal specification

Bibliografiska uppgifter
Huvudupphovsman: Middelburg, Cornelis A.
Materialtyp: Bok
Språk:English
Publicerad: London Chapman & Hall c1993.
Ämnen:
Logic, Symbolic and mathematical.
Software engineering.