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 Cargus 28.00 lei Easybox 20.00 lei FAN 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

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 Nou Nou
421.43 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Die drei ??? Kids, Das außerirdische Buch Ulf Blanck / Carte Copertă tare
common.buy 61.98 lei
Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti / Calendar / Agendă Agendă
common.buy 56.78 lei
Ce que le corps révèle vraiment de vous Claudine Biland Carte Carte broșată
common.buy 157.46 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

Hundred Decker Rocket SMITH MIKE / Carte Carte broșată
common.buy 54.59 lei
Porcelain and Pottery Shoes Anne Everest Wojtkowski / Carte Copertă tare
common.buy 198.85 lei
Desolation Sound Heather Harbord / Carte Carte broșată
common.buy 112.21 lei
School of Udhra Nathaniel Mackey / Carte Carte broșată
common.buy 71.44 lei
Visualization Analysis and Design Tamara Munzner / Carte Copertă tare
common.buy 520.02 lei
World Encyclopedia Of Fish & Shellfish And Other Aquatic Creatures Derek Hall / Carte Copertă tare
common.buy 118.66 lei
The Random Universe JAFFE ANDREW H / Carte Copertă tare
common.buy 139.05 lei
Vinyl NYC Hattie Lindert / Carte Copertă tare
common.buy 175.45 lei
Voiceless SABITH MOHAMMED / Carte Carte broșată
common.buy 70.19 lei
The Purposeful Argument Patricia Bostian / Carte Carte broșată
common.buy 695.07 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?