Результаты поиска - Veith, Helmut
- Отображение 1 - 1 результаты of 1
-
25 Years of Model Checking : History, Achievements, Perspectives / по Grumberg, Orna
Опубликовано 2008, c2008Другие авторы: “...Veith, Helmut (edición)...”
Шифр: Загрузка...Ver documento en línea
Местонахождение: Загрузка...
Отдельная запись
Инструменты поиска:
Связанные темы
Algoritmos Computacionales - Tema Principal
Control de Procesos - Modelos Matemáticos
Desarrollo de Sistemas
Ingeniería Computacional
Lenguajes Formales
Lenguajes de Programación - Tema Principal
Lógica Formal
Lógica Matemática
Modelos Matemáticos
Sistemas Computacionales - Prueba y Medición - Tema Principal