Skip to main content
PBS logo
 
 

Search - Mechanized Reasoning and Hardware Design (Prentice-Hall International Series in Computer Science)

Mechanized Reasoning and Hardware Design (Prentice-Hall International Series in Computer Science)
Mechanized Reasoning and Hardware Design - Prentice-Hall International Series in Computer Science
Author: C. A. R. Hoare
The result of a Royal Society Discussion, this book explores the ways in which mechanized reasoning tools can be used to implement good design. It examines the interplay between logic and tools, exploring theoretical possibilities, costs and practical benefits.
ISBN-13: 9780135724057
ISBN-10: 0135724058
Pages: 151
Rating:
  ?
0 stars, based on 0 rating
Publisher: Prentice Hall
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2025 PaperBackSwap.com. All Rights Reserved.