Produktinfo
Leveraging applications of formal methods, verification and validation, Applications and case studies, 2
von Margaria, Tiziana and Bernhard Steffen
Berlin Heidelberg : Springer
9783642340314
Jahr: 2012
XVI, 361 Seiten : Ill., graph. Darst.
Broschiert
Bestellnummer: 2172355
Beschreibung
Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache.
books4less - ein Shop
des Versandantiquariats
Petra Gros