Springer
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings
Product Code:
9783540544777
ISBN13:
9783540544777
Condition:
New
$61.47
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings
$61.47
This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification.
| Author: Edmund M. Clarke |
| Publisher: Springer |
| Publication Date: Oct 02, 1991 |
| Number of Pages: 378 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540544771 |
| ISBN-13: 9783540544777 |
Related Products
