| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Verification Techniques for System-Level Design | 978-O-12-37O616-4 (O-12-37O616-5) | 2007 | Masahiro Fujita · Indradeep Ghosh |
M.P. · Micaela Preston · Michael Perscheid · Michael Prescott · Michael Prestage · Michael Preston · Michael Prestwich · Michael Presutti · Michael Priestley · Michael Priestly · Michael Proctor · Michael Prost · Michel Parigot · Michelle Preston · Michelle Priest