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

Computer Aided Verification
книга

Страница публикацииПубликация в OpenAlex
Год издания: 2008
Авторы: Aarti Gupta, Sharad Malik
Издательство: Springer Science+Business Media
Источник: Lecture notes in computer science
Ключевые слова: Embedded Systems Design Techniques, Power Systems and Technologies