1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Formal Methods andSoftware Engineering Kazuhiro OgataMark LawfordShaoying Liu2016 год

Formal Methods and Software Engineering
книга

Страница публикацииПубликация в OpenAlex
Год издания: 2016
Авторы: Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Издательство: Springer Science+Business Media
Источник: Lecture notes in computer science
Ключевые слова: Model-Driven Software Engineering Techniques, Embedded Systems Design Techniques