A discipline of programming / (Record no. 60590)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 01894nam a2200229 a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| Identificador del número de control | AR-sfUTN |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| Códigos de información de longitud fija | 170717b ||||| |||| 00| 0 d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| ISBN | 013215871X |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro transcriptor | AR-sfUTN |
| 041 ## - CÓDIGO DE LENGUA | |
| Código de lengua del texto | eng |
| 080 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL UNIVERSAL | |
| Clasificación Decimal Universal | 681.32 D570 |
| Edición de la CDU | 2000 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre personal | Dijkstra, Edsger W. |
| Fechas asociadas al nombre | 1930-2002 |
| 245 12 - MENCIÓN DE TÍTULO | |
| Título | A discipline of programming / |
| Mención de responsabilidad | Edsger W. Dijkstra. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Lugar de publicación, distribución, etc. | New Jersey: |
| Nombre del editor, distribuidor, etc. | Prentice Hall, |
| Fecha de publicación, distribución, etc. | 1976 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 217 p. |
| 336 ## - TIPO DE CONTENIDO | |
| Fuente | rdacontent |
| Término de tipo de contenido | texto |
| Código de tipo de contenido | txt |
| 337 ## - TIPO DE MEDIO | |
| Fuente | rdamedia |
| Nombre del tipo de medio | sin mediación |
| Código del tipo de medio | n |
| 338 ## - TIPO DE SOPORTE | |
| Fuente | rdacarrier |
| Nombre del tipo de soporte | volumen |
| Código del tipo de soporte | nc |
| 505 80 - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | CONTENIDO<br/>FOREWORD ix<br/>PREFACE xiii<br/>0. EXECUTIONAL ABSTRACTION 1<br/>1. THE ROLE OF PROGRAMMING LANGUAGES 7<br/>2. STATES AND THEIR CHARACTERIZATION 10<br/>3. THE CHARACTERIZATION OF SEMANTICS 15<br/>4. THE SEMANTIC CHARACTERIZATION OF A PROGRAMMING LANGUAGE 24<br/>5. TWO THEOREMS 37<br/>6. ON THE DESIGN OF PROPERLY TERMINATING CONSTRUCTS 41<br/>7. EUCLID'S ALGORITHM REVISITED 45<br/>8. THE FORMAL TREATMENT OF SOME SMALL EXAMPLES 51<br/>9. ON NONDETERMINACY BEING BOUNDED 72<br/>10. AN ESSAY ON THE NOTION: THE SCOPE OF VARIABLES 79<br/>11. ARRAY VARIABLES 94<br/>12. THE LINEAR SEARCH THEOREM 105<br/>13. THE PROBLEM OF THE NEXT PERMUTATION 107<br/>14. THE PROBLEM OF THE DUTCH NATIONAL FLAG 111<br/>15. UPDATING A SEQUENTIAL FILE 117<br/>16. MERGING PROBLEMS REVISITED 123<br/>17. AN EXERCISE ATTRIBUTED TO R. W. HAMMING 129<br/>18. THE PATTERN MATCHING PROBLEM 135<br/>19. WRITING A NUMBER AS THE SUM OF TWO SQUARES 140<br/>20. THE PROBLEM OF THE SMALLEST PRIME FACTOR OF A LARGE NUMBER 143<br/>21. THE PROBLEM OF THE MOST ISOLATED VILLAGES 149<br/>22. THE PROBLEM OF THE SHORTEST SUBSPANNING TREE 154<br/>23. REM'S ALGORITHM FOR THE RECORDING OF EQUIVALENCE CLASSES 161<br/>24. THE PROBLEM OF THE CONVEX HULL IN THREE DIMENSIONS 168<br/>25. FINDING THE MAXIMAL STRONG COMPONENTS IN A DIRECTED GRAPH 192<br/>26. ON MANUALS AND IMPLEMENTATIONS 201<br/>27. IN RETROSPECT 209 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Tipo de ítem Koha | Libros |
| Esquema de clasificación | Clasificación Decimal Universal |
| 999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA) | |
| -- | 60590 |
| -- | 60590 |
| Estado | Estado perdido | Tipo de préstamo | Fecha de adquisición | Total Checkouts | Date last seen | Número de copias | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|
| 02/12/2025 | 02/12/2025 | 02/12/2025 | Libros |