Detalles MARC
000 -CABECERA |
campo de control de longitud fija |
00994nam a2200289zi 4500 |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
campo de control |
20220221131623.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
campo de control de longitud fija |
070326s2006 xxua 001 0 eng d |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
0387259473 |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
0387307842 (libro electrónico) |
035 ## - NÚMERO DE CONTROL DEL SISTEMA |
Número de control de sistema |
MX001001096164 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador/agencia de origen |
VPI |
Lengua de catalogación |
spa |
Centro/agencia transcriptor |
VPI |
Centro/agencia modificador |
BAKER |
-- |
OHX |
-- |
UKM |
-- |
NYP |
-- |
UtOrBLW |
-- |
UNAMX |
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
Número de clasificación |
Q340 |
Número de documento/Ítem |
Y83 |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
Nombre de persona |
Yuan, Jun, |
Término indicativo de función/relación |
autor |
245 10 - MENCIÓN DE TÍTULO |
Título |
Constraint-based verification / |
Mención de responsabilidad, etc. |
Jun Yuan, Carl Pixley, Adnan Aziz |
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 |
c2006 |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
xii, 253 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 |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Restricciones (Inteligencia artificial) |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Electrónica digital |
Subdivisión general |
Pruebas |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Sistemas electrónicos |
Subdivisión general |
Pruebas |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Sistemas electrónicos |
Subdivisión general |
Diseño y construcción |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
Nombre de persona |
Pixley, Carl, |
Término indicativo de función/relación |
autor |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
Nombre de persona |
Aziz, Adnan, |
Término indicativo de función/relación |
autor |