Teoría de la computación y verificación de programas
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | |
| Formato: | Libro |
| Datos de publicación: |
La Plata :
[S.n.],
2010
|
| Edición: | 1a ed. |
| Series: | Facultad de Informática-U.N.L.P
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Resumen: | Contenido basado en las asignaturas Teoría de la Computación y Verificación de Programas, y Teoría de la Comutación y Verificación de Programas Avanzada, que los autores dictan a los alumnos de cuarto y quinto año dela Licenciatura en Informática. |
| Descripción Física: | 419 p. : il. ; 22 cm. |
| ISBN: | 978950340633 |