Полное описание
>
Design and verification of microprocessor systems for high-assurance applications / ed. D. S. Hardin. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2010. - URL: http://dx.doi.org/10.1007/978-1-4419-1539-9. - 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)
>
http://dx.doi.org/10.1007/978-1-4419-1539-9
Просмотр издания