Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer, Berlin
SKU: 9783540208037
Price: 277.38 RON
Availability: InStock

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Autor: Bernhard Steffen, Giorgio Levi

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

This book constitutes the refereed proceedings of the 5th International Conference on Verification,...

Informații despre carte

Autor

Bernhard Steffen, Giorgio Levi

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2004

Pagini

325

EAN

9783540208037

ISBN

3540208038

Enbook ID

01558944

Editura

Springer, Berlin

Greutate

480

Dimensiuni

156 x 234 x 18

Descriere completă

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

S-ar putea să te intereseze

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

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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