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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Verification, Model Checking, and Abstract Interpretation

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Constantin Enea
Libristo code: 21040880
Publishers Springer Nature Switzerland AG, January 2019
This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Video Blu-ray
common.buy 14.78 €
Top
One Piece Color Walk - Tome 09 Eiichiro Oda / Book Paperback
common.buy 30.78 €
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Book Hardback
common.buy 24.70 €
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Book Paperback
common.buy 16.50 €
Gefühle Wimmelbuch Alexandra Helm / Book Board book
common.buy 11.74 €
Football - The Ultimate Book Bernd Pohlenz / Book Hardback
common.buy 57.92 €
Dragon Ball Serie Roja nº 282 Akira Toriyama / Book Paperback
common.buy 5.26 €
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Book Paperback
common.buy 14.47 €
Kníhkupectvo nových začiatkov Jenny Colgan / Book Hardback
common.buy 21.36 €
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön / Book Paperback
common.buy 23.28 €
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Book Paperback
common.buy 77.17 €
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Book Hardback
common.buy 89.32 €
Zermatt / Book Paperback
common.buy 19.64 €
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digital Digital CD
common.buy 124.77 €
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Book Paperback
common.buy 32.10 €
Correspondances D'Alger 1962 Didier Robert-Ales / Book Paperback
common.buy 63.09 €
Mandy Birgit Zaczek / Book Paperback
common.buy 5.66 €
Actividades de animación para la tercera edad Jacques Choque / Book Paperback
common.buy 34.83 €
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Book Paperback
common.buy 28.05 €
Contratiempos Kahane / Book Paperback
common.buy 15.28 €
Schule für kleine Trommel Felix Dierkes / Book Paperback
common.buy 36.05 €
Coming soon
FRE-SANS MASQUE Truda Rosenberg / Book Paperback
common.buy 16.80 €
Schleich Weißwedelkalb, Kunststoff-Figur Schleich® / Game/Toy Toy
common.buy 6.07 €
Polednice Plešatá palice H:o)nza Vojtko / Book Paperback
common.buy 10.93 €

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract

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 Verification, Model Checking, and Abstract Interpretation
Author Constantin Enea, Ruzica Piskac
Language English
Binding Book - Paperback
Date of issue 2019
Number of pages 602
EAN 9783030112448
ISBN 3030112446
Libristo code 21040880
Publishers Springer Nature Switzerland AG
Weight 937
Dimensions 155 x 235 x 235

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
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

Environmental Policymaking in an Era of Climate Change NOWLIN / Book Paperback
common.buy 61.77 €
Advanced Python Programming DR. GABRIELE LANARO / Book Paperback
common.buy 45.06 €
Swallow (NHB Modern Plays) Stef Smith / E-book Adobe ePub DRM
common.buy 16.50 €
Top
Istanbul Bettany Hughes / Book Paperback
common.buy 15.99 €
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Book Paperback
common.buy 14.68 €
Concrete Roses Le'Taxione / Book Paperback
common.buy 14.78 €
The Tragedy of Coriolanus: A Play William Shakespeare / Book Paperback
common.buy 8.60 €
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Book Hardback
common.buy 33.62 €
Top
Demon in the Wood Leigh Bardugo / Book Hardback
common.buy 15.99 €
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Book Hardback
common.buy 30.78 €
City of Dusk Tara Sim / Book Hardback
common.buy 20.15 €
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Book Paperback
common.buy 13.06 €
A Short History Of England (1917) G. K. Chesterton / Book Paperback
common.buy 24.70 €
The Negroni Matt Hranek / Book Hardback
common.buy 15.79 €
LEGO Arduino Cookbook Grady Koch / Book Paperback
common.buy 41.52 €
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Book Paperback
common.buy 20.96 €
Cannabinoid Cookbook Daniel Green / Book Hardback
common.buy 27.13 €
Top
Nomadland Jessica Bruder / Video DVD
common.buy 9.00 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Book Paperback
common.buy 11.54 €
What in the World? Look Again National Geographic Kids / Book Hardback
common.buy 14.07 €
Restless Souls Alisa Statman / Book Paperback
common.buy 14.07 €
Children, Social Science, and the Law Bette L. BottomsMargaret Bull KoveraBradley D. McAuliff / Book Paperback
common.buy 72.00 €
Nibbles: The Very Hungry Book Monster Emma Yarlett / Book Paperback
common.buy 8.70 €
The Complete APA 7th Edition Guide Gregory Dixon / Book Paperback
common.buy 13.76 €

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?