Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings - Paperback
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings - Paperback
Details
by Edmund M. Clarke (Editor), Robert P. Kurshan (Editor)
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.
Materials + Care
We prioritize quality in selecting the materials for our items, choosing premium fabrics and finishings that ensure durability, comfort, and timeless appeal.
Shipping + Returns
We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.