Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Autor:
Springer International Publishing
Verlag:
Springer International Publishing
Sprache:
English
Keine Beschreibung für das Buch
CHF 69.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
Untertitel
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
ISBN
978-3-319-24952-0
EAN
9783319249520
Erscheinungsjahr
11/22/2015
Edition
15001 A. 1st edition 2015
Verlag
Springer International Publishing
Sprache
English
Springer International Publishing weitere Bücher
The Watchmaker's Daughter
CHF 41.90
Agricultural trade and North-South coope
CHF 52.50
Emergency Entrance
CHF 1.30
Life of John Jervis - Admiral Lord St Vi
CHF 1.90
Proceed At Will
CHF 7.75
The Time of the End: Its Antecedents and
CHF 26.50
Democracy in America
CHF 1.00
Adventures with T.J
CHF 7.75
(Re) Making Love: a sex after sixty stor
CHF 5.15
Random Shots From A Rifleman
CHF 1.90
Rise and Fall of the Usa
CHF 7.75
Pig Who Cooks: Imagination Station Child
CHF 3.85
Selling Information: How You Can Create,
CHF 3.85
My Diary, 1915-1917
CHF 9.65
My Burma
CHF 7.75
English Lithuanian Joke Book
CHF 6.45
Short Writing World of Dominic Caruso: P
CHF 1.30
Dark Frigate
CHF 5.80
The Souls of Black Folk
CHF 1.00
The Expedition of Humphry Clinker
CHF 1.00
Santa Claus's Partner (Illustrated)
CHF 1.00
The Author of Beltraffio
CHF 1.00
Love Stories
CHF 1.00
Fables for Children
CHF 1.00
The New Machiavelli
CHF 1.00
Hawthorne
CHF 1.00
Anne of Green Gables and Other Works
CHF 1.00
Jeff Brigg's Love Story
CHF 1.00
Le cri de la raison
CHF 3.50
The Huge Hunter
CHF 1.00
Bewertungen
0 Bewertungen
Anmeldung erforderlich