Verification of sequential and concurrent programs (Registro nro. 22063)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 00721nam a2200205 a 4500 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 970106s1991^^^^^^^a^^^^^^^^^^000^0^eng^^ |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 0-387-97532-2 |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | MX001000578567 |
| 050 ## - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | QA76.76V47 |
| Número de documento/Ítem | A67 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Apt, Krzysztof R., |
| Fechas asociadas al nombre | 1949- |
| Término indicativo de función/relación | autor |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | Verification of sequential and concurrent programs / |
| Mención de responsabilidad, etc. | Krzystof r. apt, ernst-rudiger olderog |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | New York : |
| Nombre del de productor, editor, distribuidor, fabricante | Springer Verlag, |
| Fecha de producción, publicación, distribución, fabricación o copyright | c1991 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 441 páginas |
| 336 ## - TIPO DE CONTENIDO | |
| Término de tipo de contenido | texto |
| Fuente | rdacontent |
| 337 ## - TIPO DE MEDIO | |
| Nombre/término del tipo de medio | sin medio |
| Fuente | rdamedia |
| 338 ## - TIPO DE SOPORTE | |
| Nombre/término del tipo de soporte | volumen |
| Fuente | rdacarrier |
| 490 0# - MENCIÓN DE SERIE | |
| Mención de serie | Texts and monographs in computer science |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Software para computadora |
| Subdivisión general | Verificación |
| 700 ## - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Olderog, Ernst-Rudiger, |
| Término indicativo de función/relación | autor |
| Estado de retiro | Estado de pérdida | Fuente del sistema de clasificación o colocación | Estado dañado | No para préstamo | Código de colección | Localización permanente | Ubicación/localización actual | Ubicación en estantería | Fecha de adquisición | Coste, precio normal de compra | Total de préstamos | Clasificación completa | Código de barras | Fecha visto por última vez | Número de copia | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Clasificación de la Biblioteca del Congreso | Coleccion General | Libros | Libros | Libros | 22/05/2023 | 629.95 | 1 | QA76.76V47 A67 | 70418 | 18/02/2024 | 1 | Libros | ||||
| Clasificación de la Biblioteca del Congreso | Coleccion General | Libros | Libros | Libros | 22/05/2023 | 629.95 | 1 | QA76.76V47 A67 | 67190 | 18/02/2024 | 1 | Libros |