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

Computer Aided Verification
книга

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