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

???-203002
Soeken, M. Formal Specification Level : concepts, Methods, and Algorithms / M. Soeken, R. Drechsler. - Electronic text data. - Cham : Springer, 2015. - URL: https://link.springer.com/book/10.1007/978-3-319-08699-6. - Загл. с экрана. - ISBN 978-3-319-08699-6.

ГРНТИ	УДК
50.33.14	004.031.6-047.56

Кл.слова (ненормированные): встроенные вычислительные системы -- проектирование -- уровень -- спецификация -- формальная проверка
Доп. точки доступа:
Drechsler, R.

Имеются экземпляры в отделах: всего 1 : ПНТ (1)
Свободны: ПНТ (1)
https://link.springer.com/book/10.1007/978-3-319-08699-6

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

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