.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Computer-aided Reasoning
. Ed(S): Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother
€ 256.42
FREE Delivery in Ireland
Description for Computer-aided Reasoning
Hardback. Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. Editor(s): Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother. Series: Advances in Formal Methods. Num Pages: 337 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1510.
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of ideas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others.
Computer-Aided Reasoning: ACL2 Case Studies is meant for two audiences: those looking for innovative ways to design, build, and maintain hardware ... Read more
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of ideas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others.
Computer-Aided Reasoning: ACL2 Case Studies is meant for two audiences: those looking for innovative ways to design, build, and maintain hardware ... Read more
Product Details
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
337
Condition
New
Series
Advances in Formal Methods
Number of Pages
337
Place of Publication
Dordrecht, Netherlands
ISBN
9780792378495
SKU
V9780792378495
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Computer-aided Reasoning