Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings by Clarke, Edmund M.

Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings (Paperback) (ISBN-13: 9783540544777)

Vendor: Edmund M. Clarke
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings by Clarke, Edmund M.

Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings

$54.99
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings by Clarke, Edmund M.

Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings

$54.99
Format: Paperback
Description
Description
x
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
ISBN-10: 3540544771
ISBN-13: 9783540544777
Publisher: Springer
Language: English
Published: 10/02/1991
Pages: 378
Format: Paperback
Weight: 1.21lbs
Size: 9.21h x 6.14w x 0.81d

Recently Viewed Products