Verificación formal de algoritmos : ejercicios resueltos /

Saved in:
Bibliographic Details
Main Author: Silva Ramírez, Esther Lydia.
Other Authors: López Coello, Manuel, (autor.)
Format: eBook
Language:Spanish
Published: Cádiz : Universidad de Cádiz, 2018.
Series:Universidad de Cádiz. Ingenierías y arquitectura.
Subjects:
Online Access:Click to View
Tags: Add Tag
No Tags, Be the first to tag this record!