Design and verification of microprocessor systems for high-assurance applications [Electronic resource] / ed. D. S. Hardin. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2010. - ISBN 978-1-4419-1539-9 : Б. ц. Рубрики: Engineering    Computer aided design    System safety    Systems engineering    Engineering    Circuits and systems    Computer-Aided engineering (cad, cae) and design    Quality control, reliability, safety and risk См. : Текст издания Доп.точки доступа: Hardin, D.S. \ed.\; SpringerLink (Online service) Свободных экз. нет