Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
Ein Fachband des fünften ISoLA-Symposiums in Heraklion, der neue Ansätze formaler Methoden für Verifikation und Validierung vorstellt; enthält pra ...
Dieses Produkt wurde kürzlich in keinem gesponserten Geschäft gefunden, bitte prüfen Sie ähnliche Produkte unserer Sponsoren oder sehen Sie sich andere von uns angebotene Geschäfte an, in denen Sie das Produkt finden können.
eBay
Back Market DE
AsGoodAsNew DE
Alternate DE
Beauty Welt (DE)
babymarkt.de
DeubaXXL DE
Allgemein
Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 129 black & white illustrations, biograp
ISBN
Springer Berlin Heidelberg 3642340318
