Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Verification, Model Checking, and Abstract Interpretation

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification, Model Checking, and Abstract Interpretation Krishna S.
Libristo-code: 47021693
Uitgeverij Springer, Berlin, maart 2025
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Volledige beschrijving
? points 162 b
66.96 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

LETTRINES GRACQ JULIEN / Boek Gebonden (paperback)
common.buy 24.03 €
My Hero Academia: Complete Season 3 / Video Blu-ray
common.buy 30.70 €
Loki : Agent d'Asgard T01 Lee Garbett / Boek Gebonden (paperback)
common.buy 38.58 €
Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil / Boek Gebonden (paperback)
common.buy 36.35 €
Quello della gabbia. Il mio calcio, la mia Inter Corrado Orrico / Boek Gebonden (paperback)
common.buy 16.56 €
Křesťanství v tóze Ondřej Doskočil / Boek Gebonden (paperback)
common.buy 5.55 €
Arthur Honegger Harry Halbreich / Boek Boek
common.buy 49.18 €
Physique Chimie 2de Manuel 2019 Nicolas Coppens / Boek Gebonden (paperback)
common.buy 43.63 €
Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith / Boek Gebonden (paperback)
common.buy 9.38 €
Ultimate...70s Various / Audio Audio cd
common.buy 16.56 €
Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer / Boek Gebonden (paperback)
common.buy 37.26 €
Caminando 3 Rosaura Sanchez / Boek Gebonden (paperback)
common.buy 38.27 €
O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS / Boek Gebonden (paperback)
common.buy 55.04 €
Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe / Boek Gebonden (harde band)
common.buy 20.50 €
Bauernhof Sigrid Tinz / Boek Gebonden (paperback)
common.buy 8.78 €
Marienkind Paul Heyse / Boek Gebonden (paperback)
common.buy 8.98 €
The Sound of Disney Franziska Brocksch / Boek Gebonden (paperback)
common.buy 22.41 €
Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz / Boek Gebonden (paperback)
common.buy 9.08 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verification, Model Checking, and Abstract Interpretation
Auteur Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2025
Aantal pagina's 350
EAN 9783031827020
Libristo-code 47021693
Uitgeverij Springer, Berlin
Gewicht 412
Afmetingen 155 x 235

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Foxton Primary Science: Light (Lower KS2 Science) Nichola Tyrrell / Boek Gebonden (paperback)
common.buy 13.53 €
What Does An Anteater Eat? ROSS COLLINS / Boek Gebonden (paperback)
common.buy 8.68 €
Chasing the Truth: A Young Journalist's Guide to Investigative Reporting Megan Twohey / Boek Gebonden (harde band)
common.buy 14.64 €
Katz Pajamas: The Haunted House of Hashimoto Jack Lugar / Boek Gebonden (paperback)
common.buy 8.07 €
40 Years Loved Peony Lane Publishing / Boek Gebonden (paperback)
common.buy 10.29 €
Art of Preserving Health. a Poem. by John Armstrong, M.D JOHN ARMSTRONG / Boek Gebonden (harde band)
common.buy 29.69 €
History of the Siege of Chester, During the Civil Wars in the Time of King Charles I JOHN BROSTER / Boek Gebonden (harde band)
common.buy 30.70 €
Adult Coloring Book Adult Coloring Books Illustrators Allian / Boek Gebonden (paperback)
common.buy 13.93 €
1817 A Recipe for Revolution: Reflections on the Pentrich Rising of June 1817 MR Michael Parkin / Boek Gebonden (paperback)
common.buy 8.58 €
When Faith Meets Therapy Stacy Kaiser / Boek Gebonden (harde band)
common.buy 19.18 €
HER BROTHER'S LETTERS CHARLES M. RELYEA / Boek Gebonden (harde band)
common.buy 33.53 €
Alex Prager: Silver Lake Drive ALEX PRAGER / Boek Gebonden (paperback)
common.buy 28.78 €
Sorting Out Catholicism Massimo Faggioli / E-book Adobe ePub DRM
common.buy 23.22 €
It All Tastes of Farewell Brigitte Reimann / Boek Gebonden (paperback)
common.buy 32.82 €
Wisdom Walk: Nine Practices for Creating Peace and Balance from the World's Spiritual Traditions Sage Bennet / Boek Gebonden (paperback)
common.buy 17.16 €
Ash'n Wavy Martin / Boek Gebonden (paperback)
common.buy 16.56 €
Roads I Traveled, Were Not All Paved Clyde H Sr Queen / Boek Gebonden (harde band)
common.buy 32.62 €
Echoes of Dyma Dal Iesin: Book I of The Rugby Player's Tale Tuesday Shay / Boek Gebonden (paperback)
common.buy 25.14 €
Yamakiri-warrior of the mist Stuart Campbell / Boek Gebonden (paperback)
common.buy 23.22 €
History of the American Newspaper Publishers Association Edwin Emery / Boek Gebonden (paperback)
common.buy 58.07 €
Site Automation Thomas Bock / Boek Gebonden (harde band)
common.buy 187.97 €
State Rankings 2020 Scott Morgan / Boek Gebonden (harde band)
common.buy 168.68 €
Process Management in Design and Construction Rachel Cooper / Boek Gebonden (harde band)
common.buy 160.09 €
TOP
History of Philosophy Volume 1 Frederick Copleston / Boek Gebonden (paperback)
common.buy 27.06 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?