Verification of sequential and concurrent programs (Record no. 843987)
[ view plain ]
| 000 -LEADER | |
|---|---|
| campo de control de longitud fija | 01129nam a2200253 a 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| campo de control | AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20240131170445.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 230201s1997 xxu dr 000 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 0387948961 |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | DIF001829 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | AR-LpUFIB |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | AR-LpUFIB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Apt, Krsysztof R. |
| 9 (RLIN) | 252647 |
| 245 10 - MENCIÓN DEL TÍTULO | |
| Título | Verification of sequential and concurrent programs |
| 250 ## - MENCION DE EDICION | |
| Mención de edición | 2nd ed. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Lugar de publicación, distribución, etc. | Nueva York : |
| Nombre del editor, distribuidor, etc. | , |
| Fecha de publicación, distribución, etc. | c1997 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xvii, 364 p. ; |
| Dimensiones | 24 cm. |
| 490 0# - MENCIÓN DE SERIE | |
| Mención de serie | Graduate texts in computer science |
| 500 ## - NOTA GENERAL | |
| Nota general | Incluye ejercicios, estudio de casos, referencias bibliográficas (p. 343-352), e índices de autores, de materias y de símbolos. -- |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | Deterministic programs -- Disjoint parallel programs -- Parallel programs with shared variables -- Parallel programs with synchronization -- Nondeterministic programs -- Distributed programs -- Fairness -- App. A. Semantics -- App. B. Axioms and proof rules -- App. C. Proof systems -- App. D. Proof outlines. |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | VERIFICACIÓN DE PROGRAMAS |
| 9 (RLIN) | 247900 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL | |
| Nombre de persona | Olderog, Ernst-Rüdiger |
| 9 (RLIN) | 252648 |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) | |
| Tipo de ítem Koha | Libros |
| Estado retirado | Estado de pérdida | Estado de daño | No para préstamo | Biblioteca de origen | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Visto por última vez | Precio de reemplazo | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Disponible para préstamo | Biblioteca Fac.Informática | Biblioteca Fac.Informática | 26/12/2006 | DIF-02755 | D.2.4 APT | DIF-02755 | 31/01/2024 | 31/01/2024 | Libros |