Stock image for illustration purposes only - book cover, edition or condition may vary.
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
. Ed(S): Kurshan, R. P.; Clarke, E.M.
€ 69.96
FREE Delivery in Ireland
Description for Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
paperback. 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. Editor(s): Kurshan, R. P.; Clarke, E.M. Series: Lecture Notes in Computer Science. Num Pages: 392 pages, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 548.
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations ... Read more
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations ... Read more
Product Details
Format
Paperback
Publication date
1991
Publisher
Springer Germany
Number of pages
392
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
378
Place of Publication
Berlin, Germany
ISBN
9783540544777
SKU
V9783540544777
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings