Mathematical theory of computation. /
Guardado en:
| Autor Principal: | Manna, Zohar. |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
New York :
McGraw-Hill,
[1974]
|
| Series: | McGraw-Hill computer science series
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Program style, design, efficiency, debugging, and testing /
por: Van Tassel, Dennie, 1939-
Publicado: (1978) -
Proving programs correct /
por: Anderson, Robert Brockett, 1941-
Publicado: (1979) -
Program style, design, efficiency, debugging, and testing /
por: Van Tassel, Dennie, 1939-
Publicado: (1978) -
The logical basis for computer programming /
por: Manna, Zohar.
Publicado: (1985) -
The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" /
por: Manna, Zohar.
Publicado: (1993)
