Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
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
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
ISBN
978-3-642-34780-1
EAN
9783642347801
Erscheinungsjahr
10/12/2012
Edition
2012
Verlag
Springer Berlin Heidelberg
Sprache
English
Springer Berlin Heidelberg weitere Bücher
Deinen ersten Roman schreiben ¿ Das Schr
CHF 26.50
Thomas Aquinas's Summa Contra Gentiles
CHF 53.50
Jilted
CHF 10.95
The Journalist's Companion
CHF 66.40
St. Fleur Series Boxed Set Books 1-3
CHF 8.00
La voyance
CHF 12.25
Diary of a Dyslexic School Kid
CHF 20.65
Dark Warning (The Merged Wars, #1)
CHF 3.00
Nostalgie Spielzeug (Wandkalender 2025 D
CHF 31.90
Omega's Doctor: Baby Makes Three
CHF 3.85
Fix-It and Forget-It Instant Pot Diabete
CHF 14.50
Just Say No! The Daughters of Liberty
CHF 1.90
The Wall
CHF 7.10
The Ultimate Guide to Caring for your Ve
CHF 9.50
The Collected Stories of Elizabeth Bowen
CHF 9.00
Deliver Me
CHF 3.20
Project Management Casebook: Instructor'
CHF 136.75
Labour Law in Belgium
CHF 104.50
The Imagination Thief
CHF 6.50
"e;No One Can Hurt Him Anymore"e
CHF 10.95
Deciduous Qween
CHF 12.90
Becoming Mary Sully
CHF 45.15
Moondust and Madness
CHF 10.95
Pretty As A Picture (First Glance Photog
CHF 1.00
Engineering a Plan (Innate Wright, #4)
CHF 4.00
Load the Dice
CHF 10.95
Sankt Alexius
CHF 141.85
Worlds Apart
CHF 4.00
Dear Tooth Fairy
CHF 1.90
Ciberseguridad de Big Data mediante apre
CHF 57.50
Bewertungen
0 Bewertungen
Anmeldung erforderlich