Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Verification, Model Checking, and Abstract Interpretation

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

Limba englezăengleză
Carte Carte broșată
Carte Verification, Model Checking, and Abstract Interpretation Krishna S.
Codul Libristo: 47021693
Editura Springer, Berlin, martie 2025
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Descrierea completă
? points 171 b
370.08 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

LETTRINES GRACQ JULIEN / Carte Carte broșată
common.buy 126.09 lei
My Hero Academia: Complete Season 3 / Videoclip Blu-ray
common.buy 170.03 lei
Loki : Agent d'Asgard T01 Lee Garbett / Carte Carte broșată
common.buy 202.64 lei
Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil / Carte Carte broșată
common.buy 199.42 lei
Quello della gabbia. Il mio calcio, la mia Inter Corrado Orrico / Carte Carte broșată
common.buy 86.72 lei
Křesťanství v tóze Ondřej Doskočil / Carte Carte broșată
common.buy 29.18 lei
Arthur Honegger Harry Halbreich / Carte Carte
common.buy 258.22 lei
Physique Chimie 2de Manuel 2019 Nicolas Coppens / Carte Carte broșată
common.buy 228.82 lei
Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith / Carte Carte broșată
common.buy 51.93 lei
Ultimate...70s Various / Audio Audio CD
common.buy 97.53 lei
Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer / Carte Carte broșată
common.buy 206.38 lei
Caminando 3 Rosaura Sanchez / Carte Carte broșată
common.buy 205.97 lei
O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS / Carte Carte broșată
common.buy 305.68 lei
Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe / Carte Copertă tare
common.buy 113.94 lei
Bauernhof Sigrid Tinz / Carte Carte broșată
common.buy 46.52 lei
Marienkind Paul Heyse / Carte Carte broșată
common.buy 50.16 lei
The Sound of Disney Franziska Brocksch / Carte Carte broșată
common.buy 117.47 lei
Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz / Carte Carte broșată
common.buy 50.58 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verification, Model Checking, and Abstract Interpretation
Autor Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi
Limba engleză
Legare Carte - Carte broșată
Data publicării 2025
Număr pagini 350
EAN 9783031827020
Codul Libristo 47021693
Editura Springer, Berlin
Greutatea 412
Dimensiuni 155 x 235

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Wisdom Walk: Nine Practices for Creating Peace and Balance from the World's Spiritual Traditions Sage Bennet / Carte Carte broșată
common.buy 95.86 lei
Foxton Primary Science: Light (Lower KS2 Science) Nichola Tyrrell / Carte Carte broșată
common.buy 73.95 lei
Chasing the Truth: A Young Journalist's Guide to Investigative Reporting Megan Twohey / Carte Copertă tare
common.buy 77.17 lei
Katz Pajamas: The Haunted House of Hashimoto Jack Lugar / Carte Carte broșată
common.buy 44.55 lei
40 Years Loved Peony Lane Publishing / Carte Carte broșată
common.buy 56.91 lei
Art of Preserving Health. a Poem. by John Armstrong, M.D JOHN ARMSTRONG / Carte Copertă tare
common.buy 163.28 lei
History of the Siege of Chester, During the Civil Wars in the Time of King Charles I JOHN BROSTER / Carte Copertă tare
common.buy 168.47 lei
Adult Coloring Book Adult Coloring Books Illustrators Allian / Carte Carte broșată
common.buy 76.54 lei
1817 A Recipe for Revolution: Reflections on the Pentrich Rising of June 1817 MR Michael Parkin / Carte Carte broșată
common.buy 46.94 lei
When Faith Meets Therapy Stacy Kaiser / Carte Copertă tare
common.buy 106.87 lei
HER BROTHER'S LETTERS CHARLES M. RELYEA / Carte Copertă tare
common.buy 184.05 lei
Alex Prager: Silver Lake Drive ALEX PRAGER / Carte Carte broșată
common.buy 147.70 lei
Sorting Out Catholicism Massimo Faggioli / E-book Adobe ePub DRM
common.buy 119.65 lei
It All Tastes of Farewell Brigitte Reimann / Carte Carte broșată
common.buy 160.06 lei
Ash'n Wavy Martin / Carte Carte broșată
common.buy 90.88 lei
Echoes of Dyma Dal Iesin: Book I of The Rugby Player's Tale Tuesday Shay / Carte Carte broșată
common.buy 138.04 lei
History of the American Newspaper Publishers Association Edwin Emery / Carte Carte broșată
common.buy 316.69 lei
Site Automation Thomas Bock / Carte Copertă tare
common.buy 996.54 lei
State Rankings 2020 Scott Morgan / Carte Copertă tare
common.buy 882.49 lei
Process Management in Design and Construction Rachel Cooper / Carte Copertă tare
common.buy 871.06 lei
Top
History of Philosophy Volume 1 Frederick Copleston / Carte Carte broșată
common.buy 184.67 lei
Top
Graphic Design Idea Book Steven Heller / Carte Carte broșată
common.buy 89.32 lei
Russian as a Heritage Language Olesya Kisselev / Carte Copertă tare
common.buy 1 142.79 lei
Journal Of Negro History (Volume Vii) 1922 Carter G. Woodson / Carte Carte broșată
common.buy 162.44 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?