Automated Technology for Verification and Analysis
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Autor:
Springer Berlin Heidelberg
Verlag:
Springer Berlin Heidelberg
Sprache:
English
Keine Beschreibung für das Buch
CHF 69.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
Untertitel
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
ISBN
978-3-540-88386-9
EAN
9783540883869
Erscheinungsjahr
10/6/2008
Edition
2008
Verlag
Springer Berlin Heidelberg
Sprache
English
Springer Berlin Heidelberg weitere Bücher
Sukces w marketingu
CHF 88.00
Rapport Sur Les Ardoisière Et Forêt d'Oi
CHF 19.90
Cuestiones fundamentales de sociología
CHF 31.50
Influence de l'adoption du SIRH sur la p
CHF 123.00
La extracción de minerales en la ciudad
CHF 47.50
Incidence of cardiac dysfunction in chag
CHF 52.50
The Second Mountain
CHF 19.90
Recipes for Hope
CHF 40.90
Elternarbeit im Übergang von der Kita in
CHF 22.50
The Unraveled World
CHF 28.90
Civilian Combat the Concealed Carry Book
CHF 23.90
Learn Chinese Characters with Learn Two-
CHF 72.00
Poems From Yare
CHF 32.50
Mirrored Wounds
CHF 32.90
Kurshefte Geschichte - Qualifikationspha
CHF 53.40
Sustainable Forestry Management and Wood
CHF 123.20
Origens e caracter da epopeia portugueza
CHF 46.50
Réussir son Bac de français 2025 : Analy
CHF 27.90
Familienplaner 2025 - Chillige Chihuahua
CHF 31.90
Percepciones y Reflexiones: Administraci
CHF 36.90
Benim Ailem Benim Kalem
CHF 21.50
Rheologie von Getreideprodukten
CHF 57.50
Verhandlungen des historischen Vereines
CHF 89.00
Inside Concentration Camps
CHF 100.00
Deutsche Kolonialgeschichte - Die Koloni
CHF 33.00
Storytelling the Bible at the Creation M
CHF 51.50
Delle Poesie Di Antonio Pucci, Celebre V
CHF 34.90
Käsebier erobert den Kurfürstendamm
CHF 12.00
Fasting for a Miracle
CHF 42.90
I'll do it tomorrow
CHF 34.90
Bewertungen
0 Bewertungen
Anmeldung erforderlich