• ВХОД
  •  

    Полное описание


    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)
    Экз-ры полностью -836175
    http://dx.doi.org/10.1007/978-1-4419-1539-9



    Просмотр издания