Practical formal methods with VDM:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Andrews, Derek (VerfasserIn), Ince, Darrel 1948- (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: London u.a. McGraw-Hill 1991
Schriftenreihe:McGraw-Hill international series in software engineering
Schlagwörter:
Umfang:XVI, 450 S.
ISBN:0077072146
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur: 0102 DAT 310f 2001 A 5549 Lageplan
Exemplar 1 Ausleihbar Am Standort