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 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 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

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Libristo code: 25366158
Publishers Springer Nature Switzerland AG, February 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Full description
? points 210 b
31 440 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Nichtlineare Deskriptormodelle Felix Gausch / E-book Adobe ePub DRM
common.buy 24 201 Ft
Lächeln Roddy Doyle / Book Hardback
common.buy 8 151 Ft
Pat Metheny - Travels Pat Metheny / Audio Audio CD
common.buy 9 826 Ft
30 años Los crímenes de la luna llena C S.DUPRA / Audio Audio CD
common.buy 10 049 Ft
A csíkos pizsamás fiú John Boyne / Book Paperback
common.buy 2 841 Ft
REMBRANDT Jan Blanc / Book Book
common.buy 88 077 Ft
Erzählungen Emma Niendorf / Book Hardback
common.buy 24 647 Ft
First And Last And Forever - Various Artists / Audio Audio CD
common.buy 7 299 Ft
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Book Paperback
common.buy 16 947 Ft
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Game/Toy Jigsaw puzzle
common.buy 3 830 Ft
Eyes for the Blind Devlin Audio Audio CD
common.buy 5 203 Ft
The Platinum Collection Ella Fitzgerald Audio Audio vinyl
common.buy 11 382 Ft
Coming soon New
Elektrizität, Magnetismus, Elektromagnetische Schwingungen und Wellen Wolfgang Pfeiler / Book Paperback
common.buy 23 571 Ft
POEMAS EMILY DICKINSON / Book Hardback
common.buy 5 594 Ft
Weihnachtliche Weisen-Kommet Manfred Zitherensemble Schuler / Audio Audio CD
common.buy 6 179 Ft
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Book Paperback
common.buy 12 353 Ft
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Book Paperback
common.buy 17 051 Ft
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Book Paperback
common.buy 6 610 Ft
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Book Paperback
common.buy 15 510 Ft
Ana Karenina LIEV N. TOLSTOI / Book Paperback
common.buy 7 225 Ft
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Book Paperback
common.buy 5 233 Ft
Simon George Sand / Book Paperback
common.buy 4 143 Ft
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Book Hardback
common.buy 9 271 Ft
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Printed items Sheet music
common.buy 8 914 Ft

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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 Dirk Beyer, Damien Zufferey
Language English
Binding Book - Paperback
Date of issue 2020
Number of pages 471
EAN 9783030393212
Libristo code 25366158
Publishers Springer Nature Switzerland AG
Weight 741
Dimensions 155 x 235 x 27

Categories

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

Jacob's Ladder Reading Comprehension Program Tamra Stambaugh / Book Paperback
common.buy 22 075 Ft
FOOLISH FISHGIRLS & THE PEARL Barbara Pease Weber / Book Paperback
common.buy 7 061 Ft
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Book Paperback
common.buy 7 765 Ft
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Book Paperback
common.buy 4 380 Ft
Groundwater Status and Trends for the Columbia Plateau Regional Aquifer System, Washington, Oregon, and Idaho Erik R Burns / Book Paperback
common.buy 6 863 Ft
Create Your World: Activating your God-given power to create realms and atmospheres Patricia King / Book Paperback
common.buy 7 046 Ft
Secret Code - Spiral of Success Christine Hofmann / Book Paperback
common.buy 6 194 Ft
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Book Hardback
common.buy 54 937 Ft
Writing a Poem Cecilia Minden / Book Paperback
common.buy 4 772 Ft
Great War John Morrow / Book Paperback
common.buy 16 362 Ft
Top
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Book Hardback
common.buy 7 448 Ft
Scattered Thoughts from a Scattered Mind David Mills / Book Hardback
common.buy 9 454 Ft
The Irish Race: In California, And On The Pacific Coast (1878) Hugh Quigley / Book Paperback
common.buy 17 606 Ft
Davidson College Catalog; 1962-1963 Davidson College / Book Hardback
common.buy 13 042 Ft
Your Fittest Future Self Kathleen Trotter / E-book Adobe ePub DRM
common.buy 3 023 Ft
Anthracite's Demise and the Post-Coal Economy of Northeastern Pennsylvania Thomas Keil / E-book Adobe ePub DRM
common.buy 40 414 Ft
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Book Hardback
common.buy 157 568 Ft
A Trip Towards The Sunset Tatiana Goded / Book Paperback
common.buy 6 803 Ft
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Book Hardback
common.buy 40 622 Ft
Knowledge before Action Amina M. Steinfels / Book Hardback
common.buy 27 684 Ft
101 Conversation Starters for Families Ramon L Presson / Book Paperback
common.buy 3 513 Ft
Theory Past Papers Grade 4 / Book Paperback
common.buy 2 002 Ft
In the Beginning Rev Donald Schmidt / Book Paperback
common.buy 4 935 Ft
Curmudgeon Bob Eggers / Book Paperback
common.buy 6 134 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?