Computer Aided Verification

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

8th International Conference, CAV '96, New Brunswick, NJ, July 31 - August 3, 1996, Proceedings

Autor: Rajeev Alur, Thomas Henzinger

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.72 lei

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided...

Informații despre carte

Autor

Rajeev Alur, Thomas Henzinger

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1999

Pagini

479

EAN

9783540614746

ISBN

3540614745

Enbook ID

05274597

Editura

Springer, Berlin

Greutate

630

Dimensiuni

156 x 234 x 25

Descriere completă

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

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

8th International Conference, CAV '96, New Brunswick, NJ, July 31 - August 3, 1996, 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