Analyse und Verifikation von Programmen : Systemat. Verfahren u. Untersuchungen zur Erstellung fehlerfreier Software

Analyse und Verifikation von Programmen : Systemat. Verfahren u. Untersuchungen zur Erstellung fehlerfreier Software
by Endres, Albert
München, Wien : Oldenbourg
9783486213614
year: 1977
405 Seiten
Softcover-Großformat
order number: 2118304

description
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.