Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods - Matt Kaufmann - Books - Springer - 9780792378495 - June 30, 2000
In case cover and title do not match, the title is correct

Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods 2000 edition

Matt Kaufmann

Price
NZD 369.60

Ordered from remote warehouse

Expected delivery Jul 31 - Aug 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods 2000 edition

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.

337 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 30, 2000
ISBN13 9780792378495
Publishers Springer
Pages 337
Dimensions 155 × 235 × 20 mm   ·   684 g
Language English  
Editor Kaufmann, Matt
Editor Manolios, Panagiotis
Editor Moore, J Strother
Show all

More by Matt Kaufmann

See all of Matt Kaufmann ( e.g. Paperback Book and Hardcover Book )