Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01309pam a2200277 i 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
CL-VaUT |
| 005 - |
|---|
| campo de control |
20240617131410.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
890627s1990 us a 001 0 eng |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
0387969578 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
CL-VaUT |
| Lengua de catalogación |
spa |
| 082 00 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
511.3 |
| Número de documento/Ítem |
D575 |
| Número de edición |
20 |
| año |
1989 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Dijkstra, Edsger W. |
| 9 (RLIN) |
146333 |
| Término indicativo de función/relación |
autor |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Predicate calculus and program semantics / |
| Mención de responsabilidad, etc. |
Edsger W. Dijkstra, Carel S. Scholten |
| 264 #1 - Producción, Publicación, Distribución, Fabricación y Aviso de Derechos de Autor (R) |
|---|
| Lugar de producción, publicación, distribución, fabricación |
New York : |
| Nombre del productor, editor, distribuidor, fabricante |
Springer-Verlag, |
| Fecha de producción, publicación, distribución, fabricación o aviso de derechos |
1989 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
x, 220 páginas : |
| Otras características físicas |
ilustraciones |
| 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/término del tipo de medio |
no mediado |
| Código del tipo de medio |
n |
| 338 ## - TIPO DE SOPORTE |
|---|
| Fuente |
rdacarrier |
| Nombre/término del tipo de soporte |
volumen |
| Código del tipo de soporte |
nc |
| 490 ## - Mención de Serie |
|---|
| Titulo de Serie |
Texts and monographs in computer science |
| 505 ## - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
On structures-- On substitution and replacement-- On functions and equality-- On our proof format-- The calculus of boolean structures-- Some properties of predicate transformers-- Semantics of straight-line programs-- Equations in predicates and their extreme solutions-- Semantics of repetitions-- Operational considerations-- Converse predicate transformers-- The strongest postcondition |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
CALCULO DE PREDICADOS |
| 9 (RLIN) |
146334 |
|
|---|
| Término de materia o nombre geográfico como elemento inicial |
LENGUAJES DE PROGRAMACIÓN (computadores electrónicos) |
| Subdivisión general |
SEMANTICA |
| 9 (RLIN) |
115523 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Scholten, Carel S. |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
|
| Tipo de ítem Koha |
Libro General |
| 998 ## - INFORMACION DE CONTROL LOCAL |
|---|
| Iniciales del operador |
jsm |
