Verificación formal de algoritmos : ejercicios resueltos /
المؤلف الرئيسي: | |
---|---|
مؤلفون آخرون: | |
التنسيق: | Libros Digitales |
اللغة: | الإسبانية |
منشور في: |
Cádiz :
Universidad de Cádiz,
2018.
|
سلاسل: | Universidad de Cádiz. Ingenierías y arquitectura.
|
الموضوعات: | |
الوصول للمادة أونلاين: | Click to View |