Mechanized Reasoning and Hardware Design (Prentice-hall International Series in Computer Science)
Full Title: | Mechanized Reasoning and Hardware Design (Prentice-hall International Series in Computer Science) |
---|---|
ISBN: | 0135724058 |
ISBN13: | 9780135724057 |
List Price: | USD $55.00 |