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
  • Runtime Verification
  • 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

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bensalem, Saddek (Editor ), Peled, Doron A. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Programming and Software Engineering, 5779
Temas:
Software engineering.
Computer science.
Computers.
Compilers (Computer programs).
Electronic digital computers-Evaluation.
Software Engineering.
Theory of Computation.
Hardware Performance and Reliability.
Compilers and Interpreters.
System Performance and Evaluation.
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

  • Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers /
    Publicado: (2008)
  • Reliable Software Technologies - Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings /
    Publicado: (2009)
  • Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
    Publicado: (2009)
  • Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /
    Publicado: (2016)
  • Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden /
    Publicado: (2012)

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_m1kj26frt04blp81pc1ajqkpac