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 Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Up to 30 days for returns

Customers also purchased

Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Video Blu-ray
common.buy 5 604 Ft
One Piece Color Walk - Tome 09 Eiichiro Oda / Book Paperback
common.buy 10 773 Ft
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Book Hardback
common.buy 8 645 Ft
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Book Paperback
common.buy 6 243 Ft
Gefühle Wimmelbuch Alexandra Helm / Book Board book
common.buy 4 517 Ft
Football - The Ultimate Book Bernd Pohlenz / Book Hardback
common.buy 20 291 Ft
Dragon Ball Serie Roja nº 282 Akira Toriyama / Book Paperback
common.buy 1 854 Ft
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Book Paperback
common.buy 5 531 Ft
Kníhkupectvo nových začiatkov Jenny Colgan / Book Hardback
common.buy 7 485 Ft
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön / Book Paperback
common.buy 8 166 Ft
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Book Paperback
common.buy 29 343 Ft
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Book Hardback
common.buy 34 394 Ft
Zermatt / Book Paperback
common.buy 6 864 Ft
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digital Digital CD
common.buy 43 665 Ft
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Book Paperback
common.buy 12 308 Ft
Correspondances D'Alger 1962 Didier Robert-Ales / Book Paperback
common.buy 22 100 Ft
Mandy Birgit Zaczek / Book Paperback
common.buy 2 156 Ft
Actividades de animación para la tercera edad Jacques Choque / Book Paperback
common.buy 12 208 Ft
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Book Paperback
common.buy 9 805 Ft
Contratiempos Kahane / Book Paperback
common.buy 5 343 Ft
Schule für kleine Trommel Felix Dierkes / Book Paperback
common.buy 12 614 Ft
Coming soon
FRE-SANS MASQUE Truda Rosenberg / Book Paperback
common.buy 5 878 Ft
Schleich Weißwedelkalb, Kunststoff-Figur Schleich® / Game/Toy Toy
common.buy 2 128 Ft
Polednice Plešatá palice H:o)nza Vojtko / Book Paperback
common.buy 3 836 Ft

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 23 173 Ft
Advanced Python Programming DR. GABRIELE LANARO / Book Paperback
common.buy 16 829 Ft
Swallow (NHB Modern Plays) Stef Smith / E-book Adobe ePub DRM
common.buy 5 791 Ft
Top
Istanbul Bettany Hughes / Book Paperback
common.buy 6 229 Ft
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Book Paperback
common.buy 5 563 Ft
Concrete Roses Le'Taxione / Book Paperback
common.buy 5 604 Ft
The Tragedy of Coriolanus: A Play William Shakespeare / Book Paperback
common.buy 3 243 Ft
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Book Hardback
common.buy 12 673 Ft
Top
Demon in the Wood Leigh Bardugo / Book Hardback
common.buy 6 229 Ft
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Book Hardback
common.buy 11 586 Ft
City of Dusk Tara Sim / Book Hardback
common.buy 6 978 Ft
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Book Paperback
common.buy 4 937 Ft
A Short History Of England (1917) G. K. Chesterton / Book Paperback
common.buy 10 874 Ft
The Negroni Matt Hranek / Book Hardback
common.buy 5 649 Ft
LEGO Arduino Cookbook Grady Koch / Book Paperback
common.buy 15 989 Ft
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Book Paperback
common.buy 7 979 Ft
Cannabinoid Cookbook Daniel Green / Book Hardback
common.buy 10 326 Ft
Top
Nomadland Jessica Bruder / Video DVD
common.buy 3 402 Ft
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Book Paperback
common.buy 4 517 Ft
What in the World? Look Again National Geographic Kids / Book Hardback
common.buy 5 110 Ft
Restless Souls Alisa Statman / Book Paperback
common.buy 5 110 Ft
Children, Social Science, and the Law Bette L. BottomsMargaret Bull KoveraBradley D. McAuliff / Book Paperback
common.buy 27 069 Ft
Nibbles: The Very Hungry Book Monster Emma Yarlett / Book Paperback
common.buy 3 256 Ft
The Complete APA 7th Edition Guide Gregory Dixon / Book Paperback
common.buy 5 170 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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?