Książka 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

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
This book contains the proceedings of VMCAI 2007. It features current research from the communities...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2008
strony
325
EAN
9783540781622
ISBN
3540781625
Enbook ID
01569894
Waga
522
Wymiary
155 x 235 x 19

Pełny opis

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.

Możesz być zainteresowany

Electrochemistry IV

Eberhard Steckhan
565.93
58.60

Trump Boom

Andrew Puzder
58.79
37.76
149.92
86.64

Prince of Rockport

Guy Vanamburg
79.34
362.16
146.51
250.69
83.23

Klienci, którzy kupili tę książkę, kupili również

236.86
329.35

Geburt der Musik

Willy Pastor
91.90

Djinn

Jorge Pardo
95.01

Ränder der Moderne

Robert Weimann
53.15