Product Information
Leveraging applications of formal methods, verification and validation, Applications and case studies, 2
by Margaria, Tiziana and Bernhard Steffen
Berlin Heidelberg : Springer
9783642340314
year: 2012
XVI, 361 Seiten : Ill., graph. Darst.
Broschiert
order number: 2172355
description
Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache.
books4less - a shop
from Versandantiquariat
Petra Gros