Systematic software development using VDM

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jones, Cliff B. 1944- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	New York u.a. Prentice Hall 1990
Ausgabe:	2. ed.
Schriftenreihe:	Prentice Hall international series in computer science
Schlagworte:	Logiciels - Développement developpement logiciel methode formelle specification logiciel vdm Computer software > Development VDM Softwareentwicklung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Systematic software development using VDM von Jones, Cliff B. 1944-

Veröffentlicht 1990

Buch

Veröffentlicht 1986

Buch