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

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

Price
HK$ 1,645
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 23 - 29

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 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

Mere med samme udgiver

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