to Computation.- Design Computation.- Verification Computation.
| Author: Donatello Annaratone |
| Publisher: Springer |
| Publication Date: Jul 31, 2010 |
| Number of Pages: 176 pages |
| Binding: Hardback or Cased Book |
| ISBN-10: 3642133088 |
| ISBN-13: 9783642133084 |