Program construction and verification

Bibliographische Detailangaben

1. Verfasser:	Backhouse, Roland C. 1948- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Englewood Cliffs, NJ [u.a.] Prentice-Hall International 1986
Schriftenreihe:	Prentice-Hall International series in computer science
Schlagworte:	Logiciels - Développement Ordinateurs - Programmation Programmation (Informatique) production programme programmation validation logiciel verification logiciel Computer programming Programmverifikation Softwareentwicklung Programmierung Lehrbuch
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!