Imagen de portada de Amazon
Imagen de Amazon.com

Computabilidad, complejidad computacional y verificación de programas / Ricardo Rosenfeld y Jerónimo Irazábal ; con prólogo de Ricardo Rosenfeld.

Por: Colaborador(es): Series E-libro | Libros de CátedraEditor: La Plata : Editorial de la Universidad Nacional de La Plata, 2013Descripción: 1 recurso en línea (313 páginas)Tipo de contenido:
  • texto
Tipo de medio:
  • computadora
Tipo de soporte:
  • recurso en línea
ISBN:
  • 9789503409701
Tema(s): Género/Forma: Clasificación CDD:
  • 004 23
Clasificación LoC:
  • QA76 R813 2013
Recursos en línea:
Existencias
Tipo de ítem Biblioteca actual Colección Signatura topográfica Copia número Estado Fecha de vencimiento Código de barras
Libro electrónico Libro electrónico Biblioteca Virtual UTC Biblioteca Virtual BV Ej.1 Disponible

Contiene bibliografía.

Descripción basada en metadatos suministrados por el editor y otras fuentes.

Recurso electrónico. Santa Fe, Arg.: elibro, 2021. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a elibro.