Saltar al contenido

UAM Iztapalapa 50 años

Login
  • 0 elementos (Completo)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Idioma
    • Inglés
    • Español
    • Francés
    • Galego
bannerbg
Búsqueda Avanzada
  • System Analysis and Modeling:...
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Añadir a la Mochila Eliminar de la Mochila
  • Enlace Permanente
Cargando…
Vista preliminar
Vista preliminar
Vista preliminar

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gotzhein, Reinhard (Editor ), Reed, Rick (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Computer Communication Networks and Telecommunications, 4320
Temas:
Computer science.
Computer networks .
Software engineering.
Compilers (Computer programs).
Computers, Special purpose.
Theory of Computation.
Computer Communication Networks.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Acceso en línea:Texto Completo
  • Existencias
  • Descripción
  • Tabla de Contenidos
  • Ejemplares similares
  • Etiquetas MARC

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares

  • Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
    Publicado: (2006)
  • Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
    Publicado: (2006)
  • Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures /
    Publicado: (2007)
  • Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected /
    Publicado: (2007)
  • Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings /
    Publicado: (2007)

Coordinación de Servicios Documentales

  • Av. Ferrocarril San Rafael Atlixco, Núm. 186, Col. Leyes de Reforma 1 A Sección, Alcaldía Iztapalapa, C.P. 09310, Ciudad de México.
  • ¿Tienes alguna duda?, por favor envíala al correo eléctronico: bibl@xanum.uam.mx

Horario de servicio

  • Lunes a viernes: 8:00 hrs a 21:45 hrs

Opciones de búsqueda

  • Historial de Búsqueda
  • Catálogo Anterior

¿Necesitas ayuda?

  • Consejos de búsqueda
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes

Copyright © 2023 Coordinación de Servicios Documentales. Todos los derechos reservados.

Cannot write session to /tmp/vufind_sessions/sess_hv0hbefik2r9ls51s1vcu3tvge