|
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,816
Discovery Miles 18 160
|
|
|
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!
|
You might also like..
Oracle 12c - SQL
Joan Casteel
Paperback
 (1)
R1,375
R1,276
Discovery Miles 12 760
A Guide To SQL
Philip Pratt, Hassan Afyouni, …
Paperback
R1,304
R1,209
Discovery Miles 12 090
MIS
Hossein Bidgoli
Paperback
R1,210
R1,131
Discovery Miles 11 310
See more
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
