|
|
658.512.2.011.56
F79
Foster, H.
Assertion-based design [Electronic resource] / H. Foster, A. Krolnik, D. Lacey. - 2nd ed. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - ISBN 978-1-402-08028-9 : Б. ц.
Рубрики: Автоматизированные системы проектирования
См. : Текст издания
Доп.точки доступа:
Krolnik, A.; Lacey, D.; SpringerLink (Online service)
Свободных экз. нет
|
|