Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science)
Blowout Sale! Save 77% on the Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science) by Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick,
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.
|Item Weight:||1.5 pounds|
|Item Size:||1.11 x 9.25 x 9.25 inches|
|Package Weight:||1.55 pounds|
|Package Size:||6.1 x 1.1 x 1.1 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
ean: 9783540615804, isbn: 3540615806,
Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation.This book is based on the International Seminar on Partial Evalua...
By Brand: Springer
ean: 9783540646181, isbn: 3540646183,
I am pleased to introduce this publication based on one of the deliverables of the NO PROBLEMS project. This is one of the projects co-financed by the European Commission in the framework of the TEN-Telecom programme. Electronic commerce is high up o...
ean: 9783540660934, isbn: 3540660933,
The Fourth International Conference on Reliable Software Technologies, Ada- Europe’99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with A...
ean: 9783540664833, isbn: 3540664831,
The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault tolerant computing in diff...
By World Scientific Pub Co Inc
ean: 9789810237516, isbn: 9810237510,
With better computing facilities now available, there is an ever-increasing need to ensure that elegant theoretical results on hardware reliability are computationally available. This book discusses those aspects which have relevance to computing sys...
By Prentice Hall
ean: 9780133762600, isbn: 0133762602,
Choose the right software quality methodology, and make it work efficiently. Some organizations have established ISO 9000 quality certification or the Software Engineering Institute's Capability Maturity Model (CMM) as requirements for doing business...
ean: 9780471010098, isbn: 047101009X,
Is software quality testing really effective or just a waste of time? The skeptics conclude that it is an exercise in futility to try to measure the reliability and safety of these complex systems under all critical circumstances. They contend that q...
By *A Wiley-QED Publication
ean: 9780471588047, isbn: 0471588040,
Quality Assurance for Information Systems Methods, Tools, and Techniques William E. Perry Here’s the latest information on developing defect-free software. Completely revised and expanded, Quality Assurance for Information Systems: Methods, Tools, ...
ean: 9780471997825, isbn: 047199782X,
How to manage quality up, and risk down. This invaluable guide toproject planning and strategic decision making for softwaredevelopers presents practical and realistic planning techniques toincrease chances of a project delivering to time and budget....
By Brand: Springer
ean: 9781852333935, isbn: 1852333936,
Managing Software Quality discusses the methods involved in the integration of process, document and code indicators when constructing an evolving picture of quality. Throughout the book the authors describe experiences gained in a four-year on-site ...