Systematic software development using VDM

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jones, Cliff B. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Englewood Cliffs, NJ u.a. Prentice-Hall 1986
Schriftenreihe:	Prentice-Hall international series in computer science
Schlagworte:	Computer software > Development > Softwareentwicklung > VDM
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XVI, 300 S. graph. Darst.
ISBN:	0138807256 0-13-880725-6 0138807175 0-13-880717-5