|
Books > Computing & IT > General theory of computing > Systems analysis & design
|
Buy Now
Computer Aided Verification - 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Paperback, 1995 ed.)
Loot Price: R1,586
Discovery Miles 15 860
|
|
|
Computer Aided Verification - 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Paperback, 1995 ed.)
Series: Lecture Notes in Computer Science, 939
Expected to ship within 18 - 22 working days
|
This volume constitutes the proceedings of the 7th International
Conference on Computer Aided Verification, CAV '95, held in Li ge,
Belgium in July 1995.
The book contains the 31 refereed full research papers selected for
presentation at CAV '95 as well as abstracts or full papers of the
three invited presentations. Originally oriented towards
finite-state concurrent systems, CAV now covers all styles of
verification approaches and a variety of application areas. The
papers included range from theoretical issues to concrete
applications with a certain emphasis on verification tools and the
algorithms and techniques needed for their implementations. Beyond
finite-state systems, real-time systems and hybrid systems are an
important part of the conference.
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
