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.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Krishna S.
Libristo code: 47021693
Publishers Springer, Berlin, March 2025
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Full description
? points 162 b
67.04 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

LETTRINES GRACQ JULIEN / Book Paperback
common.buy 23.86 €
My Hero Academia: Complete Season 3 / Video Blu-ray
common.buy 25.88 €
Top Coming soon New
Cash Jessica Peterson / Book Paperback
common.buy 14.65 €
Küsse im Schnee MG Verlag / Book Paperback
common.buy 15.36 €
Loki : Agent d'Asgard T01 Lee Garbett / Book Paperback
common.buy 38.42 €
Quello della gabbia. Il mio calcio, la mia Inter Corrado Orrico / Book Paperback
common.buy 16.27 €
Abandonados a la pasión LINDSAY / Book Book
common.buy 5.35 €
Duhongo furiak Richard Morgan / E-book Adobe ePub DRM
common.buy 6.06 €
Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil / Book Paperback
common.buy 36.40 €
Misconduct Penelope Douglas / Book Paperback
common.buy 10.41 €
Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer / Book Paperback
common.buy 37.31 €
Křesťanství v tóze Ondřej Doskočil / Book Paperback
common.buy 5.55 €
Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz / Book Paperback
common.buy 9.09 €
The Sound of Disney Franziska Brocksch / Book Paperback
common.buy 22.34 €
Marienkind Paul Heyse / Book Paperback
common.buy 8.99 €
Bauernhof Sigrid Tinz / Book Paperback
common.buy 8.79 €
Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe / Book Hardback
common.buy 20.52 €
O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS / Book Paperback
common.buy 55.11 €
Caminando 3 Rosaura Sanchez / Book Paperback
common.buy 38.32 €
Arthur Honegger Harry Halbreich / Book Book
common.buy 49.04 €
Desfilando por la moda : todas las respuestas a tus dudas Laura Martínez Martínez / Book Paperback
common.buy 25.07 €
Cuaderno Blackie Books. Vol. 6: Cuaderno de vacaciones para adultos DANIEL LOPEZ VALLE / Book Paperback
common.buy 12.94 €
Ultimate...70s Various / Audio Audio CD
common.buy 16.58 €
Juegos yoga: 50 divertidas actividades de yoga para niños TARA GUBER / Book Hardback
common.buy 24.97 €

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.
The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.

The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other 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 Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi
Language English
Binding Book - Paperback
Date of issue 2025
Number of pages 350
EAN 9783031827020
Libristo code 47021693
Publishers Springer, Berlin
Weight 412
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation
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

40 Years Loved Peony Lane Publishing / Book Paperback
common.buy 10.31 €
It All Tastes of Farewell Brigitte Reimann / Book Paperback
common.buy 32.76 €
HER BROTHER'S LETTERS CHARLES M. RELYEA / Book Hardback
common.buy 33.57 €
Unveiling Truth Cpa Cgma Johnson / Book Paperback
common.buy 12.33 €
Coming soon
Croydon Gerald Gosling / Book Paperback
common.buy 6.56 €
Sorting Out Catholicism Massimo Faggioli / E-book Adobe ePub DRM
common.buy 23.15 €
Habitually Great Communication: Master The Power of Your Words Mark F Weinstein / Book Paperback
common.buy 14.76 €
1817 A Recipe for Revolution: Reflections on the Pentrich Rising of June 1817 MR Michael Parkin / Book Paperback
common.buy 8.59 €
Adult Coloring Book Adult Coloring Books Illustrators Allian / Book Paperback
common.buy 13.95 €
Rise and Be Healed: Biblical Secrets of Health and Healing Victor Adeyemi / Book Paperback
common.buy 8.59 €
History of the Siege of Chester, During the Civil Wars in the Time of King Charles I JOHN BROSTER / Book Hardback
common.buy 30.74 €
Art of Preserving Health. a Poem. by John Armstrong, M.D JOHN ARMSTRONG / Book Hardback
common.buy 29.72 €
Email English 2nd Edition Book - Paperback Paul Emmerson / Book Paperback
common.buy 22.64 €
Alex Prager: Silver Lake Drive ALEX PRAGER / Book Paperback
common.buy 26.39 €
Katz Pajamas: The Haunted House of Hashimoto Jack Lugar / Book Paperback
common.buy 8.08 €
Coming soon
When Faith Meets Therapy Stacy Kaiser / Book Hardback
common.buy 19.10 €
What Does An Anteater Eat? ROSS COLLINS / Book Paperback
common.buy 8.69 €
Foxton Primary Science: Light (Lower KS2 Science) Nichola Tyrrell / Book Paperback
common.buy 13.64 €
Chasing the Truth: A Young Journalist's Guide to Investigative Reporting Megan Twohey / Book Hardback
common.buy 14.65 €
State Rankings 2020 Scott Morgan / Book Hardback
common.buy 168.89 €
How James Chalmers Saved The Penny Postage Scheme: Letter Of The Dundee Bankers And Merchants To The Lords Of Her Majesty's Treasury (1890) Patrick Chalmers / Book Paperback
common.buy 20.32 €
Journal Of Negro History (Volume Vii) 1922 Carter G. Woodson / Book Paperback
common.buy 29.32 €
History of the American Newspaper Publishers Association Edwin Emery / Book Paperback
common.buy 58.14 €
Die Cambridge Origenists Alfons Fürst / Book Hardback
common.buy 77.46 €

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?