![]() |
by Sudipta KunduPaperback details (USA). details (United Kingdom). details (Germany). details (Canada). ISBN: 978-1-4939-0101-2 ISBN-10: 1-4939-0101-X Springer · 2014 |
See also: | ||
2011 | Hardcover | High-Level Verification: Methods and Tools for Verification of System-Level Designs |