-
Math Mutation Classics: Exploring Interesting, Fun and Weird Corners of Mathematics
Author Erik Seligman
Did you know that sometimes 2+2 equals 5? That wheels don't always have to be round? That you can mathematically prove there is a hippopotamus in your basement? Or how to spot four-dimensional beings as they pass through your kitchen? If not, then you need to read....
Release Date 2016/04 -
Author M Kumar , Tom Schubert , Erik Seligman
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to direct....
Release Date 2015/07