Computabilidad, complejidad computacional y verificación de programas
Autor Corporativo: | |
---|---|
Formato: | Libro electrónico |
Idioma: | Castellano |
Publicado: |
La Plata :
Editorial de la Universidad Nacional de La Plata
2013.
|
Colección: | Libros de Cátedra
|
Materias: | |
Acceso en línea: | Acceso restringido con credenciales UPSA |
Ver en Biblioteca de la Universidad Pontificia de Salamanca: | https://koha.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=770150 |
Solicitar por préstamo interbibliotecario:
Correo
| Formulario
Notas: | Autor/es: Rosenfeld, Daniel Ricardo. Autor/es: Irazábal, Jerónimo, |
---|---|
Descripción Física: | 1 recurso en línea, (313 páginas) |
Bibliografía: | Contiene bibliografía. |
ISBN: | 9789503409701 |
Acceso: | Requiere autenticación con la cuenta del campus virtual UPSA |