The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" /
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Reading, Mass. :
Addison-Wesley,
c1993.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00957cam a2200241 a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb003478 | ||
| 008 | 900824s1993####mau######b####001#0#eng## | ||
| 005 | 20160223155051.0 | ||
| 245 | 1 | 4 | |a The deductive foundations of computer programming : |b a one-volume version of "The logical basis for computer programming" / |c Zohar Manna, Richard Waldinger. |
| 260 | |a Reading, Mass. : |b Addison-Wesley, |c c1993. | ||
| 300 | |a xiv, 717 p. ; |c 24 cm. | ||
| 500 | |a Versión condensada y simplificada de la obra original. | ||
| 504 | |a Incluye referencias bibliográficas (p. [673]-677) e índices. | ||
| 020 | |a 0201548860 | ||
| 100 | 1 | |a Manna, Zohar. | |
| 700 | 1 | |a Waldinger, Richard. | |
| 700 | 1 | |a Manna, Zohar. |t Logical basis for computer programming. |4 ant | |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 084 | |a 03B70 (03-01) |2 MR | ||
| 010 | |a 90001235 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 859 | |h 68 |i M282 |p A-6787 |b BIB. MATEMATICA | ||