Produktinfo
Analyse und Verifikation von Programmen : Systemat. Verfahren u. Untersuchungen zur Erstellung fehlerfreier Software
von Endres, Albert
München, Wien : Oldenbourg
9783486213614
Jahr: 1977
405 Seiten
Softcover-Großformat
Bestellnummer: 2118304
Beschreibung
Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch - ordnungsgemäß entwidmet.
books4less - ein Shop
des Versandantiquariats
Petra Gros