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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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

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 136 b
19 922 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Book Hardback
common.buy 3 595 Ft
LP! JPEGMAFIA Audio Audio vinyl
common.buy 18 576 Ft
Bleigewitter über Cinecitt? Christian Keßler / Book Hardback
common.buy 11 839 Ft
Hory zpívají Phan Que Mai Nguyen / Book Hardback
common.buy 5 635 Ft
KLIMATOLOGIE Émile H. Klouyo / Book Paperback
common.buy 15 212 Ft
Besser hausgemacht mit dem Thermomix® Doris Muliar / Book Paperback
common.buy 4 988 Ft
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Book Paperback
common.buy 4 238 Ft
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Book Paperback
common.buy 21 421 Ft
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Book Paperback
common.buy 9 156 Ft
TEKIS GOMEZ / Book Hardback
common.buy 10 711 Ft
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Book Paperback
common.buy 5 853 Ft
Morče Nataša Velenská / Book Paperback
common.buy 2 392 Ft
Weg Ins Heim Trendb Uro / Book Paperback
common.buy 14 629 Ft
Christoph Columbus Jakob Wassermann / Book Paperback
common.buy 6 968 Ft
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Book Paperback
common.buy 4 312 Ft
Secme Dünya Öyküleri Jorge Luis Borges / Book Paperback
common.buy 6 223 Ft

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 29 828 Ft
Katherine Mansfield: New Directions GASSTON AIMEE / Book Hardback
common.buy 54 798 Ft
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Book Paperback
common.buy 12 103 Ft
MEE Questions Book 2 Celebration Bar Review LLC / Book Paperback
common.buy 35 477 Ft
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Book Hardback
common.buy 19 922 Ft
Do You Dream of Terra-Two? Temi Oh / Book Paperback
common.buy 5 311 Ft
Feasibility Study Majura Jackson G. Majura / Book Paperback
common.buy 14 185 Ft
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Book Paperback
common.buy 79 342 Ft
Group FEIGEL LARA / Book Paperback
common.buy 4 576 Ft
3 little sisters Radha Bamania / Book Paperback
common.buy 3 960 Ft
Top
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Book Paperback
common.buy 6 176 Ft
Works of Ophra Behn Montague Summers / Book Hardback
common.buy 22 462 Ft
OLD AMERICAN SONGS II CHANT AARON COPLAND / Printed items Sheet music
common.buy 1 832 Ft
The Wager and Other Stories Greg Sushinsky / Book Paperback
common.buy 2 919 Ft
Top
Sex Differences in Intelligence Richard Lynn / Book Paperback
common.buy 5 765 Ft
New
Privileged Brotherhoods Adam Howard / Book Hardback
common.buy 24 516 Ft
My Life Scott Ludwig / Book Paperback
common.buy 8 744 Ft
Wolfsmund Kuji Mitsuhisa / Book Paperback
common.buy 4 136 Ft
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Book Hardback
common.buy 67 974 Ft
Cast of Shadows Ronnie Maasz / Book Hardback
common.buy 38 012 Ft
Omaha Beach Adrian R. Lewis / Book Paperback
common.buy 17 354 Ft
Adolescent and the Cartel H G Nowland / Book Paperback
common.buy 5 001 Ft
BioShock: Rapture John Shirley / Book Paperback
common.buy 6 454 Ft
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Book Paperback
common.buy 5 866 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