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

Verification, Model Checking, and Abstract Interpretation

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Libristo code: 15560990
Publishers Springer International Publishing AG, January 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Full description
? points 136 b
20 449 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Os animais tem alma? ERNESTO BOZZANO / Book Paperback
common.buy 5 002 Ft
Praha / Book Paperback
common.buy 964 Ft
Malvadita Keselman / Audiobook MP3
common.buy 1 445 Ft
MEURTRIERS SANS VISAGE Henning Mankell / Book Paperback
common.buy 5 047 Ft
Top
Batman - Svět Různí / Book Hardback
common.buy 5 107 Ft
LA NOBLEZA DE LAS FLORES 8 SAKA MIKAMI / Book Book
common.buy 3 330 Ft
manuale delle piste ciclabili e della ciclabilità. Ideare, pianificare, progettare, promuovere e gestire le infrastrutture ciclabili Sergio Deromedis / Book Paperback
common.buy 19 456 Ft
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Book Hardback
common.buy 23 435 Ft
2 CHANS. POPULAIRES CHT CHANT BLAS SANCHEZ Book binding.
common.buy 3 420 Ft
Coming soon
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Book Book
common.buy 31 283 Ft
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Book Paperback
common.buy 2 911 Ft
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Book Paperback
common.buy 17 753 Ft
Die Gesänge Der Serben, Erster Theil Siegfried Kapper / Book Paperback
common.buy 14 042 Ft
Vícevrstvá vkládačka Geometrické tvary 4v1 / Game/Toy Jigsaw puzzle
common.buy 6 101 Ft
Feelgood-Management Ulrike Weber / Book Paperback
common.buy 5 696 Ft
Herrliche Zeiten im Spessart Kurt Hoffmann / Video Blu-ray
common.buy 8 635 Ft
Lehrer sein! Johannes Baumann / Book Paperback
common.buy 9 401 Ft
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Book Paperback
common.buy 22 062 Ft
Satires Contre Les Astronomes MERCIER-L-S / Book Paperback
common.buy 5 502 Ft

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Ahmed Bouajjani, David Monniaux
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 560
EAN 9783319522333
ISBN 3319522337
Libristo code 15560990
Publishers Springer International Publishing AG
Weight 8657
Dimensions 155 x 235 x 31

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Life in a Cold Climate Thompson / Book Paperback
common.buy 6 629 Ft
Red Earth Joel Canfield / Book Paperback
common.buy 8 198 Ft
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Book Hardback
common.buy 15 582 Ft
Adventures of Hugh Jorgan Rock Harding / Book Paperback
common.buy 4 278 Ft
When Money Talks: Buford Tucker Listens Danny Broderick / Book Paperback
common.buy 7 459 Ft
Technology, Modernity, and Democracy Eduardo Beira / Book Hardback
common.buy 60 893 Ft
Changing Clouds of Time Shikha Bhargava / Book Paperback
common.buy 4 174 Ft
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Book Paperback
common.buy 7 385 Ft
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Book Paperback
common.buy 3 814 Ft
Remaking China's Great Cities Sam Liang / Book Hardback
common.buy 98 027 Ft
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Book Hardback
common.buy 72 560 Ft
Computational Intelligence in Digital Pedagogy Soumen Mukherjee / Book Paperback
common.buy 69 260 Ft
Season's of a Mother's Heart Sally Clarkson / Book Paperback
common.buy 4 987 Ft
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Audiobook MP3
common.buy 3 075 Ft
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / E-book Adobe ePub DRM
common.buy 19 517 Ft
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Book Hardback
common.buy 12 551 Ft
Climate Change and Mango Production Syed Atif Hasan Naqvi / E-book Adobe ePub DRM
common.buy 87 976 Ft
Practical Bee Farming - An Article on the Methods and Equipment of the Beekeeper Various / Book Paperback
common.buy 7 988 Ft
Unbounded Chronicles David Schneider / Book Paperback
common.buy 11 997 Ft
Animals A-Z Trevor E Coward / Book Paperback
common.buy 6 795 Ft
Trying It Out in America: Literary and Other Performances Richard Poirier / Book Paperback
common.buy 8 921 Ft
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Book Paperback
common.buy 8 003 Ft
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Book Paperback
common.buy 7 793 Ft
Damned If I Do, Dead If I Don't Hannah Bonde / Book Paperback
common.buy 6 256 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?