Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Autor:
Springer Berlin Heidelberg
Verlag:
Springer Berlin Heidelberg
Sprache:
English
Keine Beschreibung für das Buch
CHF 134.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
Untertitel
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
ISBN
978-3-642-39798-1
EAN
9783642397981
Erscheinungsjahr
7/14/2013
Edition
2013
Verlag
Springer Berlin Heidelberg
Sprache
English
Springer Berlin Heidelberg weitere Bücher
Le Tresor Des Pieces Rares Et Curieuses
CHF 34.50
Las sutilezas del guion entre el texto y
CHF 108.00
Investigação experimental sobre o melhor
CHF 57.50
Broken Roads
CHF 27.50
Respuesta del maíz al anegamiento
CHF 78.00
Jesus Alive in Our Lives
CHF 26.50
Public Opinion in America
CHF 217.00
USA Kalender Deluxe (Wandkalender 2025 D
CHF 44.90
Dear Moxie, Dear Rex
CHF 14.50
Positive Approaches to Optimal Relations
CHF 60.90
New York
CHF 18.50
Outposts on the Frontier
CHF 54.15
Nighttime Fantasy
CHF 48.90
Two Pharoahs
CHF 24.90
Dallas 5466
CHF 25.50
Captain Underpants 11 and the Tyrannical
CHF 16.90
Tabular Observations Recommended, As The
CHF 27.90
What Heaven Is (1897)
CHF 19.50
60 Biblical Truths: An Essential Medicin
CHF 21.50
Killer Fiction
CHF 19.35
Selling with Authentic Persuasion: Trans
CHF 33.90
American Indian Rock Art Volume 46
CHF 27.50
Everyday Disciples
CHF 19.90
Mein Leben mit Jani
CHF 26.50
Engaging in Narrative Inquiry
CHF 70.00
Vedic Astrology Secrets for Beginners
CHF 27.90
Human osteology: comprising a descriptio
CHF 89.00
Watch the Sun Rise!
CHF 23.50
Tesni
CHF 16.50
Recollections Of A Long Life
CHF 37.50
Bewertungen
0 Bewertungen
Anmeldung erforderlich