Programación metódica
El objetivo del texto es mostrar como es posible calcular los programas, sin necesidad de construirlos y verlso fallar. Esta estructurado en cuatro partes: la primera establece un lenguje de comunicación con el lector; el segundo se centra en los programas recursivos, introduciendo la verificación...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Madrid :
McGraw-Hill,
1993.
|
| Edición: | 1ra. ed. |
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 01444nam a22003130a 4500 | ||
|---|---|---|---|
| 001 | PT2144 | ||
| 003 | AR-LpoUNG | ||
| 005 | 20210131230107.0 | ||
| 008 | 191001s1993||||sp |||||||||||||||||spa d | ||
| 020 | |a 8448119576 |c $25.66 | ||
| 040 | |a AR-LpoUNG |b spa |c AR-LpoUNG |e aacr | ||
| 041 | |a spa | ||
| 044 | |a sp | ||
| 082 | 0 | |a 005.4 174P | |
| 100 | 1 | |a Balcazar, Jose Luis | |
| 245 | 1 | 0 | |a Programación metódica |
| 250 | |a 1ra. ed. | ||
| 260 | |a Madrid : |b McGraw-Hill, |c 1993. | ||
| 300 | |a 416 p. : |b fot., il. | ||
| 520 | |a El objetivo del texto es mostrar como es posible calcular los programas, sin necesidad de construirlos y verlso fallar. Esta estructurado en cuatro partes: la primera establece un lenguje de comunicación con el lector; el segundo se centra en los programas recursivos, introduciendo la verificación por induccion, y describiendo la técnica de diseño de programas recursivos. La tercera parte explica como usar los conceptos desarrollados en la segunda para ayudar al diseño y calculo deprogramas itinerarios. La cuarta parte puede verse como una lista de ejemplos de aplicación de los metodos descriptos. | ||
| 650 | 4 | |a COMPUTADORAS | |
| 650 | 4 | |a LENGUAJES DE PROGRAMACION | |
| 650 | 4 | |a PROCESAMIENTO ELECTRONICO DE DATOS | |
| 650 | 4 | |a PROGRAMAS DE COMPUTADORA | |
| 650 | 4 | |a TECNOLOGIA DE LAS COMUNICACIONES | |
| 651 | 4 | |a DOCUMENTOS TEORICOS O METODOLOGICOS | |
| 905 | |a 2144 | ||
| 942 | |c LIB | ||
| 999 | |c 1393 |d 1393 | ||