Product Information
Programmverifikation : sequentielle, parallele und verteilte Programme
by Apt, Krzysztof R. und Ernst-Rüdiger Olderog
Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest : Springer
9783540574798
year: 1994
XII, 258 Seiten
Softcover-Großformat
order number: 2118523
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.
books4less - a shop
from Versandantiquariat
Petra Gros