Carte Verification, Model Checking, and Abstract Interpretation Francesco Logozzo

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.75 lei
This book contains the proceedings of VMCAI 2007. It features current research from the communities...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2008
Pagini
325
EAN
9783540781622
ISBN
3540781625
Enbook ID
01569894
Greutate
522
Dimensiuni
155 x 235 x 19

Descriere completă

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

S-ar putea să te intereseze

Electrochemistry IV

Eberhard Steckhan
702.23 lei
72.70 lei

Trump Boom

Andrew Puzder
77.56 lei
49.51 lei
195.42 lei
113.91 lei

Prince of Rockport

Guy Vanamburg
103.48 lei
474.49 lei
181.75 lei
325.54 lei
108.54 lei

Clienții care au cumpărat această carte au mai cumpărat și

15.38 lei
293.95 lei
431.25 lei

Geburt der Musik

Willy Pastor
120.79 lei

Djinn

Jorge Pardo
123.53 lei

Ränder der Moderne

Robert Weimann
66.01 lei