NASA Formal Methods (Record no. 884857)

000 -CABECERA
Longitud fija campo de control 01613nam a2200409 i 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
Identificador del nnúmero de control OSt
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA
Campo fijo de descripción f&íacute;sica cr nn 008mamaa
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA
Códigos de información de longitud fija 120330s2012 gw | s |||| 0|eng d
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
Número Internacional Normalizado para Libros (ISBN) 9783642288913
-- 978-3-642-28891-3
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador UCA
Centro transcriptor UCA
100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA
Nombre de persona Goodloe, Alwyn E.
245 10 - MENCIÓN DE TÍTULO
Título NASA Formal Methods
Medio [Recurso electrónico] :
Resto del título 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Mención de responsabilidad, etc. edited by Alwyn E. Goodloe, Suzette Person.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA)
Lugar de publicación, distribución, etc. Berlin, Heidelberg :
Nombre del editor, distribuidor, etc. Springer Berlin Heidelberg,
Fecha de publicación, distribución, etc. 2012.
490 0# - MENCIÓN DE SERIE
Mención de serie Lecture Notes in Computer Science,
Número Internacional Normalizado para Publicaciones Seriadas (ISSN) 0302-9743 ;
Designación de volumen o secuencia 7226
506 ## - NOTA DE RESTRICCIONES AL ACCESO
Limitaciones de acceso Restringido a usuarios de la UCA
538 ## - NOTA DE DETALLES DEL SISTEMA
Nota de detalles del sistema Modo de acceso: World Wide Web
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Computer science
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Software engineering
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Operating systems (Computers)
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Logic design
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Computer Science
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Software Engineering
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Programming Languages, Compilers, Interpreters
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Operating Systems
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Logics and Meanings of Programs
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Software Engineering/Programming and Operating Systems
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Programming Techniques
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
Nombre de persona Person, Suzette
740 0# - PUNTO DE ACCESO ADICIONAL - TÍTULO RELACIONADO O ANALÍTICO NO CONTROLADO
Título relacionado o analítico no controlado SpringerLink e-Books (Servicio en línea)
740 0# - PUNTO DE ACCESO ADICIONAL - TÍTULO RELACIONADO O ANALÍTICO NO CONTROLADO
Título relacionado o analítico no controlado Lecture Notes in Computer Science (Servicio en línea)
776 08 - ENLACE A UN FORMATO FÍSICO ADICIONAL
Información sobre la relación Printed edition:
Número Internacional Normalizado para Libros (ISBN) 9783642288906
830 #0 - PUNTO DE ACCESO ADICIONAL DE SERIE - TÍTULO UNIFORME
Título uniforme Lecture Notes in Computer Science,
Número Internacional Normalizado para Publicaciones Seriadas (ISSN) 0302-9743 ;
Designación de volumen o secuencia 7226
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICO
Identificador Uniforme del Recurso (URI) http://dx.doi.org/10.1007/978-3-642-28891-3
Nota pública Texto completo
909 ## - No. registro Millennium
-- inter
-- -
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA)
Suprimir del OPAC No
998 ## - CONTROL LOCAL DE INFORMACIÓN (RLIN)
Iniciales de operador, IOP (RLIN) 0
Iniciales de catalogador, INC (RLIN) 120418
Primera fecha, PF (RLIN) e
-- y
-- -
-- 0

No items available.

Powered by Koha