The logical basis for computer programming /
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Reading, Mass. :
Addison-Wesley,
c1985-c1990.
|
| Series: | Addison-Wesley series in computer science
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01199cam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb003479 | ||
| 008 | 840824m19851990mau######b####001#0#eng## | ||
| 005 | 20170508123935.0 | ||
| 245 | 1 | 4 | |a The logical basis for computer programming / |c Zohar Manna, Richard Waldinger. |
| 260 | |a Reading, Mass. : |b Addison-Wesley, |c c1985-c1990. | ||
| 300 | |a 2 v. ; |c 25 cm. | ||
| 490 | 0 | |a Addison-Wesley series in computer science | |
| 500 | |a Existe una versión condensada en un solo vol.: The deductive foundations of computer programming. Reading, Mass. : Addison-Wesley, c1993. | ||
| 504 | |a Incluye referencias bibliográficas e índices. | ||
| 505 | 0 | |a v. 1. Deductive reasoning -- v. 2 Deductive systems. | |
| 500 | |a La biblioteca solamente posee el vol. 1. |5 AR-BbIMB | ||
| 510 | 4 | |a MR, |c 87k:03001 |3 (v. 1) | |
| 020 | |a 0201182602 (v. 1) | ||
| 020 | |a 0201182610 (v. 2) | ||
| 100 | 1 | |a Manna, Zohar. | |
| 700 | 1 | |a Waldinger, Richard. | |
| 700 | 1 | |a Manna, Zohar. |t Deductive foundations of computer programming. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 010 | |a 84020346 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 859 | |h 68 |i M282l |p A-6170 |v 1 |3 Vol. 1 |b BIB. MATEMATICA | ||