Computabilidad, complejidad computacional y verificación de programas

Detalles Bibliográficos
Autor principal: Rosenfeld, Daniel Ricardo (-)
Otros Autores: Irazábal, Jerónimo
Formato: Libro electrónico
Idioma:Castellano
Publicado: La Plata : D - Editorial de la Universidad Nacional de La Plata 2013.
Colección:Libros de Cátedra.
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009432390906719
Descripción
Descripción Física:1 online resource (313 pages)
Bibliografía:Contiene bibliografía.
ISBN:9789503409701