Computabilidad, complejidad computacional y verificación de programas

Rosenfeld, Daniel Ricardo · Editorial de la Universidad Nacional de La Plata · 2013

Acceso institucional disponible

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Rosenfeld, Daniel Ricardo

Editorial

Editorial de la Universidad Nacional de La Plata

Año

2013

ISBN

9789503409701

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

Acceso principal

Acceso institucional disponible

El acceso puede requerir institución, suscripción, proxy, VPN o autenticación.

Abrir acceso

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Rosenfeld, D. R. (2013). Computabilidad, complejidad computacional y verificación de programas. Editorial de la Universidad Nacional de La Plata. https://nodovox.com/record.php?id=378457

MLA

Rosenfeld, Daniel Ricardo. Computabilidad, complejidad computacional y verificación de programas. Editorial de la Universidad Nacional de La Plata, 2013. https://nodovox.com/record.php?id=378457.

Chicago

Rosenfeld, Daniel Ricardo. 2013. Computabilidad, complejidad computacional y verificación de programas. Editorial de la Universidad Nacional de La Plata. https://nodovox.com/record.php?id=378457.

Harvard

Rosenfeld, D. R. 2013, Computabilidad, complejidad computacional y verificación de programas, Editorial de la Universidad Nacional de La Plata, available at: https://nodovox.com/record.php?id=378457 [Accessed 2 Jul. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Computabilidad, complejidad computacional y verificación de programas

Autor / colaboradores: Rosenfeld, Daniel Ricardo

Editorial: Editorial de la Universidad Nacional de La Plata

Año de publicación: 2013

ISBN: 9789503409701

Materias

Explorá otros recursos relacionados a partir de estas materias.

Computer science.; Computer programming.; Informática.; Programación.