[email protected]
Wir antworten innerhalb von 24 Stunden
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.99 €
DPD-Kurier 6.49 €
GLS-Kurier 4.49 €
Kaufberater
Wir sind für Sie da!
[email protected]
Mein Konto
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
▸
Leer :-(
0
Automated Technology for Verification and Analysis
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Techn...
Vollständige Beschreibung
Libristo-Code: 01569366
?
161 b
161 b
64.16
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 13-16 Tagen
30 Tage für die Rückgabe der Ware
Das könnte Sie auch interessieren
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
Informationen zum Buch
Vollständiger Name
Automated Technology for Verification and Analysis
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2007
Anzahl der Seiten
570
EAN
9783540755951
ISBN
3540755950
Libristo-Code
01569366
Gewicht
884
Abmessungen
155 x 235 x 32
Kategorie
EDV und Informationstechnologie
>
Informatik
>
Künstliche Intelligenz
>
Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie
>
Grafische und digitale Media-Anwendungen
>
Computer-Aided Design (CAD)
