Erik Seligman: 2 books
Math Mutation Classics
Exploring Interesting, Fun and Weird Corners of Mathematics
Language: English
Release Date: April 22, 2016
Use math in unique ways to analyze things you observe in life and use proof to attain the unexpected. There is quite a wide diversity of topics here and so all age levels and ability levels will enjoy the discussions. You'll see how the author's unique viewpoint puts a mathematical spin on everything...
Formal Verification
An Essential Toolkit for Modern VLSI Design
Language: English
Release Date: July 24, 2015
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 directly analyze and mathematically explore...