Logic and specification extending VDM-SL for advanced formal specification

Bibliographische Detailangaben
1. Verfasser: Middelburg, Cornelis A.
Format: Buch
Sprache:English
Veröffentlicht: London Chapman & Hall c1993.
Schlagworte: