Kundu, S.     High-Level verification [Electronic resource] : methods and tools for verification of system-level designs / S. Kundu, S. Lerner, R. K. Gupta. - Electronic text data. - New York, NY : Springer Science+Business Media LLC, 2011. - ISBN 978-1-4419-9359-5 : Б. ц. Рубрики: Engineering    Computer aided design    Systems engineering    Engineering    Circuits and systems    Computer-Aided engineering (cad, cae) and design См. : Текст издания Доп.точки доступа: Lerner, S.; Gupta, R.K.; SpringerLink (Online service) Свободных экз. нет