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
Broschiert
Bestellnummer: 1752970
Beschreibung
Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Einbandkanten sind leicht bestoßen. Leichte altersbedingte Anbräunung des Papiers.
books4less - ein Shop
des Versandantiquariats
Petra Gros