Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 9783540631668
Price: 276.72 RON
Availability: InStock

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Autor: Orna Grumberg

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.72 lei

This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu...

Informații despre carte

Autor

Orna Grumberg

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1997

Pagini

492

EAN

9783540631668

ISBN

3540631666

Enbook ID

05274713

Editura

Springer, Berlin

Greutate

654

Dimensiuni

156 x 234 x 25

Descriere completă

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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

Computer Aided Verification

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, 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