Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July . Computer Science and General Issues)
5 Angebote vergleichen
Bester Preis: Fr. 103.47 (€ 105.72)¹ (vom 20.02.2016)1
Symbolbild
Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Paperback) (2014)
DE PB NW RP
ISBN: 9783319088662 bzw. 3319088661, in Deutsch, Springer International Publishing AG, Switzerland, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: English Brand New Book ***** Print on Demand *****.This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.
Language: English Brand New Book ***** Print on Demand *****.This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.
2
Symbolbild
Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 18-22, 2014, Proceedings
DE PB NW
ISBN: 9783319088662 bzw. 3319088661, in Deutsch, Springer International Publishing AG, Taschenbuch, neu.
Von Händler/Antiquariat, THE SAINT BOOKSTORE [51194787], Southport, United Kingdom.
BRAND NEW PRINT ON DEMAND., Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 18-22, 2014, Proceedings, Armin Biere, Roderick Bloem, This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.
BRAND NEW PRINT ON DEMAND., Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 18-22, 2014, Proceedings, Armin Biere, Roderick Bloem, This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.
3
Symbolbild
Computer Aided Verification (2014)
DE NW
ISBN: 9783319088662 bzw. 3319088661, in Deutsch, Springer International Publishing AG, neu.
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, GLOS, United Kingdom.
New Book. Delivered from our UK warehouse in 3 to 5 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
New Book. Delivered from our UK warehouse in 3 to 5 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
4
Symbolbild
Computer Aided Verification: 26th International Conference, Cav 2014, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 18-22, 2014, Proceedings (2014)
DE PB NW
ISBN: 9783319088662 bzw. 3319088661, in Deutsch, Springer-Verlag New York Inc, Taschenbuch, neu.
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
900 pages. 9.30x6.20 inches. In Stock.
900 pages. 9.30x6.20 inches. In Stock.
5
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July . (Lecture Notes in Computer Science) (2014)
EN PB NW
ISBN: 9783319088662 bzw. 3319088661, in Englisch, 877 Seiten, 2014. Ausgabe, Springer, Taschenbuch, neu.
Neu ab: EUR 105,72 (5 Angebote)
Gebraucht ab: EUR 121,25 (3 Angebote)
Zu den weiteren 8 Angeboten bei Amazon.de (Int.)
Lieferung aus: Deutschland, Versandfertig in 2 - 3 Werktagen.
Von Händler/Antiquariat, BOOKS etc.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, BOOKS etc.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…