Formal Verification: An Essential Toolkit for Modern VLSI Design, 2nd Edition
- Length: 424 pages
- Publication Date: 2023-06-09
Math Mutation Classics: Exploring Interesting, Fun and Weird Corners of Mathematics
- Length: 188 pages
- Publication Date: 2016-05-15