Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Swarat Chaudhuri
Libristo code: 12580327
Publishers Springer International Publishing AG, July 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Full description
? points 136 b
20 662 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Ma première mythologie - Mes premières lectures de mythologie CP/CE1 6/7 ans Hélène Kérillis / Book Book
common.buy 3 364 Ft
Top
Романовы. Путь святости и Голгофы Д.А. Остроумов / Book Hardback
common.buy 15 019 Ft
Sposób na przekąskę. Królik i Misia Julian Gough / Book Hardback
common.buy 2 601 Ft
SCHEDA LIBRO INFANZIA DI NATHALIE SARRAU SARRAUTE NATHALIE / Book Paperback
common.buy 3 105 Ft
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Book Paperback
common.buy 7 198 Ft
Making und Schule Selina Ingold / Book Paperback
common.buy 8 963 Ft
ultimo dei giusti André Schwarz Bart / Book Paperback
common.buy 9 328 Ft
Métodos de numeración y remuneración genealógica Fernández Vilches / Book Paperback
common.buy 6 300 Ft
¡Adelante! JEAN-LOUIS BARREAU / Book Paperback
common.buy 9 069 Ft
Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Book Paperback
common.buy 2 783 Ft
El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Book Paperback
common.buy 29 155 Ft
Zrozumieć Japonię Dorota Ugorowska / Book Paperback
common.buy 0 Ft
Mediation Im Strafrecht Stefanie Mühlfeld / Book Paperback
common.buy 34 097 Ft
Por los mares del Sur con Jack London MARTIN JOHNSON / Book Paperback
common.buy 8 915 Ft
Rondalles valencianes JOSEP FRANCO / Book Paperback
common.buy 10 269 Ft

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.??The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.?

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computer Aided Verification
Author Swarat Chaudhuri, Azadeh Farzan
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 521
EAN 9783319415390
ISBN 3319415395
Libristo code 12580327
Publishers Springer International Publishing AG
Weight 8073
Dimensions 155 x 235 x 32

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Cord Blood Transplantations Mitchell Horwitz / Book Hardback
common.buy 48 435 Ft
Glassy Materials And Disordered Solids: An Introduction To Their Statistical Mechanics (Revised Edition) Kurt Binder / Book Hardback
common.buy 47 245 Ft
Top
Hunger and Thirst Claire Fuller / Book Paperback
common.buy 6 238 Ft
Leyte 1944 Chun Clayton K. S. Chun / E-book Adobe ePub DRM
common.buy 7 044 Ft
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Book Paperback
common.buy 10 681 Ft
Rudolf Hess at Spandau Prison Dennis F. King / Book Paperback
common.buy 7 716 Ft
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Book Paperback
common.buy 5 173 Ft
Adventuresome Kittens CLYDE C. JA SCEBOLD / Book Paperback
common.buy 11 243 Ft
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Book Paperback
common.buy 6 986 Ft
New Jersey Joseph G. Bilby / Book Hardback
common.buy 12 735 Ft
Blaine's Playful Namaste Kerry Alison Wekelo / Book Hardback
common.buy 6 392 Ft
Nuclear Energy Nicholas Tsoulfanidis / Book Hardback
common.buy 83 065 Ft
Easy Cooking for Special Diets: How to Cook for Weight Loss/Blood Sugar Control, Food Allergy, Heart Healthy, Diabetic, and Just Healthy Diets Even If Nicolette M. Dumke / Book Paperback
common.buy 9 952 Ft
Top
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Book Hardback
common.buy 5 796 Ft
Then He Ate My Boy Entrancers Louise Rennison / Book Paperback
common.buy 5 629 Ft
Freedom of Speech Elizabeth Powers / Book Hardback
common.buy 48 128 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account