Verificación formal de algoritmos : ejercicios resueltos /
| Главный автор: | |
|---|---|
| Другие авторы: | |
| Формат: | Libros Digitales |
| Язык: | испанский |
| Опубликовано: |
Cádiz :
Universidad de Cádiz,
2018.
|
| Серии: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Предметы: | |
| Online-ссылка: | Click to View |