Formal Methods in Circuit Design
| Author | : Victoria Stavridou |
| Publisher | : Cambridge University Press |
| Total Pages | : 212 |
| Release | : 1993-07-22 |
| ISBN-10 | : 0521443369 |
| ISBN-13 | : 9780521443364 |
| Rating | : 4/5 (69 Downloads) |
Book Synopsis Formal Methods in Circuit Design by : Victoria Stavridou
Download or read book Formal Methods in Circuit Design written by Victoria Stavridou and published by Cambridge University Press. This book was released on 1993-07-22 with total page 212 pages. Available in PDF, EPUB and Kindle. Book excerpt: Graduate level account of hardware verification and algebraic specification.
