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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Verification, Model Checking, and Abstract Interpretation Yu-Fang Chen
Codul Libristo: 50123032
Editura Springer, Berlin, martie 2026
This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Descrierea completă
? points 195 b
423.63 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Die drei ??? Kids, Das außerirdische Buch Ulf Blanck / Carte Copertă tare
common.buy 62.30 lei
Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti / Calendar / Agendă Agendă
common.buy 55.09 lei
Ce que le corps révèle vraiment de vous Claudine Biland Carte Carte broșată
common.buy 156.71 lei
The Crown vol. 2 ROBERT LACEY / Carte Copertă tare
common.buy 159.53 lei
Происхождение видов Чарлз Дарвин / Carte Carte broșată
common.buy 51.32 lei

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.

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 Yu-Fang Chen, Thomas Philip Jensen, Ondrej Lengál
Limba engleză
Legare Carte - Carte broșată
Data publicării 2026
Număr pagini 434
EAN 9783032156990
Codul Libristo 50123032
Editura Springer, Berlin
Greutatea 651
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

Buddhist Bible: Favorite Scriptures of the Zen Sect Dwight Goddard / Carte Carte broșată
common.buy 84.47 lei
The Purposeful Argument Patricia Bostian / Carte Carte broșată
common.buy 756.62 lei
Voiceless SABITH MOHAMMED / Carte Carte broșată
common.buy 70.56 lei
Leftin
Vinyl NYC Hattie Lindert / Carte Copertă tare
common.buy 117.61 lei
The Random Universe JAFFE ANDREW H / Carte Copertă tare
common.buy 139.77 lei
Coffee With Paul and Moses K D Elizabeth Beisinger / Carte Carte broșată
common.buy 51.32 lei
Filing for Bankruptcy in California Made Simple: A Guide to Help You Decide Theodore W Connolly / Carte Carte broșată
common.buy 57.28 lei
Hundred Decker Rocket SMITH MIKE / Carte Carte broșată
common.buy 54.67 lei
Top
World Encyclopedia Of Fish & Shellfish And Other Aquatic Creatures Derek Hall / Carte Copertă tare
common.buy 119.07 lei
Intellectual Appeal of Catholicism and the Idea of a Catholic University MARK W. ROCHE / Carte Copertă tare
common.buy 414.32 lei
Luminous Landscapes Gloria Loughman / Carte Carte
common.buy 139.98 lei
Visualization Analysis and Design Tamara Munzner / Carte Copertă tare
common.buy 522.74 lei
Strange World. a Novel. by the Author of Lady Audley's Secret [M. E. Braddon]. Mary Elizabeth Braddon / Carte Carte broșată
common.buy 136.74 lei
Listener's Guide to Books on Tape John Wynne / Carte Carte broșată
common.buy 135.59 lei
School of Udhra Nathaniel Mackey / Carte Carte broșată
common.buy 71.82 lei
Desolation Sound Heather Harbord / Carte Carte broșată
common.buy 112.80 lei
Porcelain and Pottery Shoes Anne Everest Wojtkowski / Carte Copertă tare
common.buy 200.10 lei
Amenhotep III Arielle P Kozloff / Carte Copertă tare
common.buy 680.61 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