Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
00894nam a2200253zi 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20210817123045.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
010511c 1999gw 000 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
3211832823 |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA |
|---|
| Número de control de sistema |
MX001000882428 |
| 041 ## - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto/banda sonora o título independiente |
SPA |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA76.9S88 |
| Número de documento/Ítem |
T66 |
| 245 00 - MENCIÓN DE TÍTULO |
|---|
| Título |
Tool support for system specification development and verification : |
| Resto del título |
advances in computing science / |
| Mención de responsabilidad, etc. |
R. Berghammer, Y Lakhnech, eds. |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
Wien : |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer Verlag, |
| Fecha de producción, publicación, distribución, fabricación o copyright |
c1999 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
232 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 |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Diseño de sistemas |
| Subdivisión de forma |
Discursos, ensayos, conferencias |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Programas para computadora |
| Subdivisión general |
Verificación |
| 650 #4 - 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 |
Desarrollo |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Berghammer, Rudolf, |
| Término indicativo de función/relación |
editor |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Lakhnech, Yassine, |
| Término indicativo de función/relación |
editor |
