Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····cam##22·····#a#4500 |
001 | 003478 |
005 | 20160223155051.0 |
008 | 900824s1993####mau######b####001#0#eng## |
245 | 14 | $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 |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com