• ВХОД

    •  

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

    Soeken, M. Formal Specification Level : concepts, Methods, and Algorithms / M. Soeken, R. Drechsler. - Cham : Springer, 2015. - on-line. - URL: https://link.springer.com/book/10.1007/978-3-319-08699-6. - Загл. с экрана. - ISBN 978-3-319-08699-6. - Текст : электронный.

    ГРНТИ УДК
    50.33.14004.031.6-047.56

    Кл.слова (ненормированные): ВСТРОЕННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ -- ПРОЕКТИРОВАНИЕ -- СПЕЦИФИКАЦИЯ -- УРОВЕНЬ -- ФОРМАЛЬНАЯ ПРОВЕРКА
    Доп. точки доступа:
    Drechsler, R.

    https://link.springer.com/book/10.1007/978-3-319-08699-6


    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): ???-203002)

    Шифр в сводном ЭК: 58abf6fbf4293fac2cfce0990eec1444



    Заказ фрагмента документа ₽

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