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

Computer Aided Verification
книга

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