Software prototyping, formal methods and VDM:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Hekmatpour, Sharam (VerfasserIn), Ince, Darrel 1948- (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Wokingham, England [u.a.] Addison-Wesley 1988
Ausgabe:1. publ.
Schriftenreihe:International computer science series
Schlagwörter:
Umfang:X, 222 S. graph. Darst.
ISBN:020117572X