Corrección de algoritmos complejos : verificación formal /
Збережено в:
| Автор: | |
|---|---|
| Інші автори: | |
| Формат: | eКнига |
| Мова: | Іспанська |
| Опубліковано: |
Cádiz :
Universidad de Cádiz,
2017.
|
| Серія: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Предмети: | |
| Онлайн доступ: | Click to View |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|