Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01227nam a2200313zi 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20220221131624.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
070418s2006 gw a 100 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
354037406X |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9783540374060 |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA |
|---|
| Número de control de sistema |
MX001001098033 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
OL |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
OL |
| Centro/agencia modificador |
BAKER |
| -- |
NDD |
| -- |
C$Q |
| -- |
IXA |
| -- |
YDXCP |
| -- |
UNAMX |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA76.76V47 |
| Número de documento/Ítem |
C38 2006 |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
004.24 |
| Número de edición |
22 |
| 111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN |
|---|
| Nombre de congreso/reunión o jurisdicción como elemento de entrada |
CAV. Conference |
| Número del congreso/reunión o número de parte o sección |
(18 : |
| Fecha del congreso/reunión |
2006 : |
| Sede del congreso/Lugar de la reunión |
Seattle, Washington) |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Computer aided verification : |
| Resto del título |
18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / |
| Mención de responsabilidad, etc. |
Thomas Ball, Robert B. Jones, eds. |
| 246 30 - FORMA VARIANTE DE TÍTULO |
|---|
| Título propio/Titulo breve |
CAV 2006 |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
Berlin : |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer Verlag, |
| Fecha de producción, publicación, distribución, fabricación o copyright |
c2006 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xv, 564 páginas : |
| Otras características físicas |
ilustraciones |
| 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 |
Lecture notes in computer science ; |
| Designación de volumen o secuencia |
4144 |
| 650 #0 - 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 |
| Subdivisión de forma |
Congresos |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Circuitos integrados |
| Subdivisión general |
Constatación |
| Subdivisión de forma |
Congresos |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Ball, Thomas, |
| Fechas asociadas al nombre |
1965- , |
| Término indicativo de función/relación |
editor |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Jones, Robert Brent, |
| Fechas asociadas al nombre |
1969- , |
| Término indicativo de función/relación |
editor |
| 830 ## - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME |
|---|
| Título uniforme |
Lecture notes in computer science |
| Número Internacional Normalizado para Publicaciones Seriadas |
0302-9743 |
