Produktinfo
Programmverifikation : sequentielle, parallele und verteilte Programme
von Apt, Krzysztof R. und Ernst-Rüdiger Olderog
Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest : Springer
9783540574798
Jahr: 1994
XII, 258 Seiten
Softcover-Großformat
Bestellnummer: 2118523
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