|
Books > Computing & IT > Computer software packages
|
Buy Now
Computer Aided Verification - 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Paperback, 1996 ed.)
Loot Price: R1,677
Discovery Miles 16 770
|
|
|
Computer Aided Verification - 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Paperback, 1996 ed.)
Series: Lecture Notes in Computer Science, 1102
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
