Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verification, Model Checking, and Abstract Interpretation

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verification, Model Checking, and Abstract Interpretation Krishna S.
Libristo kod: 47021693
Nakladnici Springer, Berlin, ožujak 2025
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Cijeli opis
? points 162 b
67.14 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

LETTRINES GRACQ JULIEN / Knjiga Meki uvez
common.buy 23.08 €
My Hero Academia: Complete Season 3 / Video Blu-ray
common.buy 25.61 €
Loki : Agent d'Asgard T01 Lee Garbett / Knjiga Meki uvez
common.buy 37.06 €
Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil / Knjiga Meki uvez
common.buy 36.45 €
Křesťanství v tóze Ondřej Doskočil / Knjiga Meki uvez
common.buy 5.26 €
Arthur Honegger Harry Halbreich / Knjiga Knjiga
common.buy 47.29 €
Physique Chimie 2de Manuel 2019 Nicolas Coppens / Knjiga Meki uvez
common.buy 41.82 €
Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith / Knjiga Meki uvez
common.buy 9.41 €
Ultimate...70s Various / Audio Audio CD
common.buy 17.71 €
Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer / Knjiga Meki uvez
common.buy 37.36 €
Caminando 3 Rosaura Sanchez / Knjiga Meki uvez
common.buy 37.57 €
O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS / Knjiga Meki uvez
common.buy 55.19 €
Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe / Knjiga Tvrdi uvez
common.buy 20.55 €
Bauernhof Sigrid Tinz / Knjiga Meki uvez
common.buy 8.40 €
Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz / Knjiga Meki uvez
common.buy 9.11 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Verification, Model Checking, and Abstract Interpretation
Autor Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2025
Broj stranica 350
EAN 9783031827020
Libristo kod 47021693
Nakladnici Springer, Berlin
Težina 412
Dimenzije 155 x 235

Kategorija

Computing & Information Technology > Computer science > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Sorting Out Catholicism Massimo Faggioli / E-knjiga Adobe ePub DRM
common.buy 21.77 €
State Rankings 2020 Scott Morgan / Knjiga Tvrdi uvez
common.buy 159.81 €
Foxton Primary Science: Light (Lower KS2 Science) Nichola Tyrrell / Knjiga Meki uvez
common.buy 13.56 €
Chasing the Truth: A Young Journalist's Guide to Investigative Reporting Megan Twohey / Knjiga Tvrdi uvez
common.buy 13.76 €
Katz Pajamas: The Haunted House of Hashimoto Jack Lugar / Knjiga Meki uvez
common.buy 8.09 €
40 Years Loved Peony Lane Publishing / Knjiga Meki uvez
common.buy 10.32 €
Art of Preserving Health. a Poem. by John Armstrong, M.D JOHN ARMSTRONG / Knjiga Tvrdi uvez
common.buy 29.77 €
History of the Siege of Chester, During the Civil Wars in the Time of King Charles I JOHN BROSTER / Knjiga Tvrdi uvez
common.buy 30.78 €
Adult Coloring Book Adult Coloring Books Illustrators Allian / Knjiga Meki uvez
common.buy 13.97 €
1817 A Recipe for Revolution: Reflections on the Pentrich Rising of June 1817 MR Michael Parkin / Knjiga Meki uvez
common.buy 8.60 €
When Faith Meets Therapy Stacy Kaiser / Knjiga Tvrdi uvez
common.buy 19.23 €
HER BROTHER'S LETTERS CHARLES M. RELYEA / Knjiga Tvrdi uvez
common.buy 33.62 €
It All Tastes of Farewell Brigitte Reimann / Knjiga Meki uvez
common.buy 31.59 €
Ash'n Wavy Martin / Knjiga Meki uvez
common.buy 16.60 €
Wisdom Walk: Nine Practices for Creating Peace and Balance from the World's Spiritual Traditions Sage Bennet / Knjiga Meki uvez
common.buy 17.21 €
Journal Of Negro History (Volume Vii) 1922 Carter G. Woodson / Knjiga Meki uvez
common.buy 29.36 €
Echoes of Dyma Dal Iesin: Book I of The Rugby Player's Tale Tuesday Shay / Knjiga Meki uvez
common.buy 25.21 €
History of the American Newspaper Publishers Association Edwin Emery / Knjiga Meki uvez
common.buy 58.23 €
Russian as a Heritage Language Olesya Kisselev / Knjiga Tvrdi uvez
common.buy 209.34 €
Process Management in Design and Construction Rachel Cooper / Knjiga Tvrdi uvez
common.buy 159.41 €
Smooch, Smack, Mwah! Erin Casey McNichol / Knjiga Meki uvez
common.buy 13.56 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?