Teoría matemática de la computación

En un intento por convertir en ciencia el arte de verificar programas informáticos (depuración), el autor aborda tanto aspectos prácticos como teóricos. Este tratado autocontenido incluye conceptos seleccionados de la teoría de la computabilidad y la lógica matemática.

Autor: Zohar Manna
Editorial: Dover Publications
Publicado: 24/12/2003
Páginas: 448
Tipo de encuadernación: Tapa blanda
Peso: 1.07 lbs
Tamaño: 8.40h x 5.50w x 0.95d
ISBN13: 9780486432380
ISBN10: 0486432386
Categorías BISAC:
- Matemáticas | Teoría de números
- Informática | Programación | General

Este título no es retornable