Kniha 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

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.14
This book contains the proceedings of VMCAI 2007. It features current research from the communities...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2008
Stránok
325
EAN
9783540781622
ISBN
3540781625
Enbook ID
01569894
Hmotnosť
522
Rozmery
155 x 235 x 19

Kompletný popis

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.

Mohlo by vás zaujímať

Electrochemistry IV

Eberhard Steckhan
133.56
13.83

Trump Boom

Andrew Puzder
13.04
8.33
33.56
21.68

Prince of Rockport

Guy Vanamburg
17.75
85.47
33.06
56.42
17.66

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

2.65
55.93
77.72

Geburt der Musik

Willy Pastor
21.68

Djinn

Jorge Pardo
22.37

Ränder der Moderne

Robert Weimann
12.55