Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Verification, Model Checking, and Abstract Interpretation

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verification, Model Checking, and Abstract Interpretation Krishna S.
Koda Libristo: 47021693
Založba Springer, Berlin, marec 2025
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Celoten opis
? points 153 b
63.72 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

My Hero Academia: Complete Season 3 / Film Blu-ray
common.buy 24.59 €
LETTRINES GRACQ JULIEN / Knjiga Mehka
common.buy 21.84 €
Küsse im Schnee MG Verlag / Knjiga Mehka
common.buy 14.52 €
Arthur Honegger Harry Halbreich / Knjiga Knjiga
common.buy 44.91 €
Top Novo
Cash Jessica Peterson / Knjiga Mehka
common.buy 13.81 €
Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil / Knjiga Mehka
common.buy 34.75 €
Quello della gabbia. Il mio calcio, la mia Inter Corrado Orrico / Knjiga Mehka
common.buy 14.73 €
Loki : Agent d'Asgard T01 Lee Garbett / Knjiga Mehka
common.buy 35.16 €
Pardubice a okolí z nebe Milan Paprčka / Knjiga Trda
common.buy 19.30 €
Abandonados a la pasión LINDSAY / Knjiga Knjiga
common.buy 4.87 €
Duhongo furiak Richard Morgan / E-knjiga Adobe ePub DRM
common.buy 5.48 €
Misconduct Penelope Douglas / Knjiga Mehka
common.buy 9.14 €
Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer / Knjiga Mehka
common.buy 35.26 €
Křesťanství v tóze Ondřej Doskočil / Knjiga Mehka
common.buy 4.97 €
Wie können 2,4 Millionen türkischstämmige Muslime in Deutschland erfolgreich integriert werden? Ingo Stechmann / Knjiga Mehka
common.buy 23.67 €
Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz / Knjiga Mehka
common.buy 8.63 €
The Sound of Disney Franziska Brocksch / Knjiga Mehka
common.buy 20.22 €
Marienkind Paul Heyse / Knjiga Mehka
common.buy 8.53 €
Bauernhof Sigrid Tinz / Knjiga Mehka
common.buy 7.92 €
Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe / Knjiga Trda
common.buy 19.50 €
O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS / Knjiga Mehka
common.buy 52.23 €
Caminando 3 Rosaura Sanchez / Knjiga Mehka
common.buy 36.68 €
Physique Chimie 2de Manuel 2019 Nicolas Coppens / Knjiga Mehka
common.buy 39.83 €
Desfilando por la moda : todas las respuestas a tus dudas Laura Martínez Martínez / Knjiga Mehka
common.buy 23.16 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verification, Model Checking, and Abstract Interpretation
Avtor Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2025
Število strani 350
EAN 9783031827020
Koda Libristo 47021693
Založba Springer, Berlin
Teža 412
Mere 155 x 235

Kategorije

Computing & Information Technology > Computer science > Mathematical theory of computation
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Art of Preserving Health. a Poem. by John Armstrong, M.D JOHN ARMSTRONG / Knjiga Trda
common.buy 28.45 €
Ash'n Wavy Martin / Knjiga Mehka
common.buy 15.85 €
It All Tastes of Farewell Brigitte Reimann / Knjiga Mehka
common.buy 30.28 €
HER BROTHER'S LETTERS CHARLES M. RELYEA / Knjiga Trda
common.buy 32.01 €
Unveiling Truth Cpa Cgma Johnson / Knjiga Mehka
common.buy 11.78 €
Kmalu
Croydon Gerald Gosling / Knjiga Mehka
common.buy 6.19 €
Sorting Out Catholicism Massimo Faggioli / E-knjiga Adobe ePub DRM
common.buy 20.83 €
Habitually Great Communication: Master The Power of Your Words Mark F Weinstein / Knjiga Mehka
common.buy 14.12 €
1817 A Recipe for Revolution: Reflections on the Pentrich Rising of June 1817 MR Michael Parkin / Knjiga Mehka
common.buy 8.12 €
Adult Coloring Book Adult Coloring Books Illustrators Allian / Knjiga Mehka
common.buy 13.30 €
Rise and Be Healed: Biblical Secrets of Health and Healing Victor Adeyemi / Knjiga Mehka
common.buy 8.12 €
History of the Siege of Chester, During the Civil Wars in the Time of King Charles I JOHN BROSTER / Knjiga Trda
common.buy 29.36 €
Email English 2nd Edition Book - Paperback Paul Emmerson / Knjiga Mehka
common.buy 22.76 €
Alex Prager: Silver Lake Drive ALEX PRAGER / Knjiga Mehka
common.buy 24.79 €
40 Years Loved Peony Lane Publishing / Knjiga Mehka
common.buy 9.85 €
Kmalu
When Faith Meets Therapy Stacy Kaiser / Knjiga Trda
common.buy 17.98 €
Katz Pajamas: The Haunted House of Hashimoto Jack Lugar / Knjiga Mehka
common.buy 7.71 €
What Does An Anteater Eat? ROSS COLLINS / Knjiga Mehka
common.buy 8.12 €
Chasing the Truth: A Young Journalist's Guide to Investigative Reporting Megan Twohey / Knjiga Trda
common.buy 12.90 €
Foxton Primary Science: Light (Lower KS2 Science) Nichola Tyrrell / Knjiga Mehka
common.buy 13.00 €
State Rankings 2020 Scott Morgan / Knjiga Trda
common.buy 150.93 €
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 / Knjiga Mehka
common.buy 19.40 €
Journal Of Negro History (Volume Vii) 1922 Carter G. Woodson / Knjiga Mehka
common.buy 27.74 €
Ethical Issues and Workplace Problems in Commercial Hospitality Jill Poulston / Knjiga Mehka
common.buy 71.85 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo