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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Computer Aided Verification

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Isil Dillig
Libristo code: 24027841
Publishers Springer Nature Switzerland AG, July 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Full description
? points 132 b
53.86 €
105.34  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

CARTE - LA NATURE EN HAUTE MONTAGNE Levi Walter YAGGY / Book Book
common.buy 24.88 € 48.66 лв
PRÄVENTIVE ZAHNMEDIZIN: DAMIT DAS LÄCHELN FREI VON VERLETZUNGEN BLEIBT SOUNDARYA PRABHAKAR / Book Paperback
common.buy 41.11 € 80.41 лв
Hory zpívají Phan Que Mai Nguyen / Book Hardback
common.buy 16.07 € 31.44 лв
Morče Nataša Velenská / Book Paperback
common.buy 6.86 € 13.41 лв
KLIMATOLOGIE Émile H. Klouyo / Book Paperback
common.buy 41.11 € 80.41 лв
Técnicas n?o-farmacológicas de gest?o do comportamento Anil Gupta / Book Paperback
common.buy 41.11 € 80.41 лв
Io e il mio amico Gesù facciamo tante cose assieme. La comunione Bruno Ferrero / Book Paperback
common.buy 10.70 € 20.92 лв
Bleigewitter über Cinecitt? Christian Keßler / Book Hardback
common.buy 31.89 € 62.38 лв
Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Book Hardback
common.buy 9.26 € 18.12 лв
SOLA GURT / Book Paperback
common.buy 19.61 € 38.35 лв
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Book Paperback
common.buy 26.26 € 51.36 лв
TEKIS GOMEZ / Book Hardback
common.buy 21.86 € 42.75 лв
Un coup de dés jamais n'abolira le hasard Stéphane Mallarmé / Book binding.
common.buy 21.30 € 41.65 лв
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Book Paperback
common.buy 11.11 € 21.73 лв
Secme Dünya Öyküleri Jorge Luis Borges / Book Paperback
common.buy 16.80 € 32.85 лв
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Book Paperback
common.buy 57.85 € 113.15 лв
Christoph Columbus Jakob Wassermann / Book Paperback
common.buy 18.79 € 36.76 лв
Die Ritter von Heliopolis. Band 3 Alejandro Jodorowsky / Book Hardback
common.buy 16.43 € 32.14 лв
Besser hausgemacht mit dem Thermomix® Doris Muliar / Book Paperback
common.buy 13.41 € 26.23 лв
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Book Paperback
common.buy 11.42 € 22.33 лв
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Book Paperback
common.buy 16.84 € 32.94 лв
Técnicas de relajación creativa y emocional Mónica Pintanel Bassets / Book Paperback
common.buy 24.57 € 48.06 лв
Weg Ins Heim Trendb Uro / Book Paperback
common.buy 39.52 € 77.30 лв

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget

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 Isil Dillig, Serdar Tasiran
Language English
Binding Book - Paperback
Date of issue 2019
Number of pages 673
EAN 9783030255398
ISBN 3030255395
Libristo code 24027841
Publishers Springer Nature Switzerland AG
Weight 1050
Dimensions 155 x 235 x 38

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer modelling & simulation
Computing & Information Technology > Computer science > Artificial intelligence
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

Information Security Sokratis Katsikas / Book Paperback
common.buy 80.69 € 157.82 лв
MEE Questions Book 2 Celebration Bar Review LLC / Book Paperback
common.buy 91.50 € 178.95 лв
The Princess and the Pea Hans Christian Andersen / Book Paperback
common.buy 14.70 € 28.74 лв
Botanic Garden. Part II. Containing the Loves of the Plants. A Poem. With Philosophical Notes. Volume the Second. The Fourth Edition. of 2; Volume 2 ERASMUS DARWIN / Book Hardback
common.buy 31.33 € 61.28 лв
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Book Hardback
common.buy 53.86 € 105.34 лв
Treatise on Grand Military Operations as Contrasted with the Modern System Samuel Beckley Holabird / Book Paperback
common.buy 29.90 € 58.47 лв
Do You Dream of Terra-Two? Temi Oh / Book Paperback
common.buy 13.77 € 26.93 лв
Coming soon
Print Proceedings of the IMECE International Mechanical Engineering Congress & Exposition (IMECE2018): Volume 1 ASME / Book Paperback
common.buy 149.00 € 291.41 лв
Feasibility Study Majura Jackson G. Majura / Book Paperback
common.buy 35.99 € 70.39 лв
Top
Trapped in a Video Game: The Complete Series Dustin Brady / Book Paperback
common.buy 37.73 € 73.80 лв
A K-Pop Love Story H.G Samarasinghe / Book Paperback
common.buy 12.95 € 25.33 лв
3 little sisters Radha Bamania / Book Paperback
common.buy 10.24 € 20.03 лв
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Book Paperback
common.buy 214.73 € 419.97 лв
Artificial Intelligence Enabled Computational Methods for Smart Grid Forecast and Dispatch Zhigang Zeng / Book Paperback
common.buy 171.83 € 336.08 лв
KOREAN WORD SEARCH - LEVEL OF DIFFICULTY DELTA CLASSICS / Book Paperback
common.buy 10.54 € 20.62 лв
Group FEIGEL LARA / Book Paperback
common.buy 11.16 € 21.82 лв
Katherine Mansfield: New Directions GASSTON AIMEE / Book Hardback
common.buy 149.56 € 292.51 лв
The Diabolical Bones Bella Ellis / Book Paperback
common.buy 20.18 € 39.46 лв
Top
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Book Paperback
common.buy 16.02 € 31.34 лв
Japanese Fairy Tale Series D. Thomson / Book Paperback
common.buy 11.83 € 23.13 лв
Works of Ophra Behn Montague Summers / Book Hardback
common.buy 60.67 € 118.66 лв
Harry Potter Slytherin House Editions Hardback Box Set Joanne K. Rowling / Book Hardback
common.buy 193.75 € 378.94 лв
In at the Death Francis Duncan / Audiobook MP3
common.buy 9.27 € 18.12 лв
Sex Differences in Intelligence Richard Lynn / Book Paperback
common.buy 14.90 € 29.13 лв

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?