Verificación formal de algoritmos ejercicios resueltos
Con este libro se intenta cubrir una de las necesidades que los alumnos demandan año tras año en el aprendizaje de sus materias. Un texto con ejercicios resueltos, que completamente a los libros más teóricos, entendiendo que estos son fundamentales. Un libro que les ayude a seguir el proceso de reso...
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Castellano |
| Publicado: |
Cádiz :
Servicio de Publicaciones de la Universidad de Cádiz
2010.
|
| Edición: | 1a. ed |
| Colección: | Manuales. Ingenierías y arquitectura.
|
| Materias: | |
| Ver en Biblioteca de la Universidad Pontificia de Salamanca: | https://koha.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=206002 |
Solicitar por préstamo interbibliotecario:
Correo
| Formulario
