1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Computer AidedVerification 2015 год

Computer Aided Verification
книга

Страница публикацииПубликация в OpenAlex
Год издания: 2015
Издательство: Springer Science+Business Media
Источник: Lecture notes in computer science
Ключевые слова: Real-time simulation and control systems, Software Testing and Debugging Techniques, Embedded Systems Design Techniques