Skip to content

UAM Iztapalapa 50 años

Login
  • 0 items (Full)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Language
    • Inglés
    • Español
    • Francés
    • Galego
bannerbg
Advanced
  • Runtime Verification
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Add to Book Bag Remove from Book Bag
  • Permanent link
Loading…
Preview
Preview
Preview

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

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Bensalem, Saddek (Editor), Peled, Doron A. (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Series:Programming and Software Engineering, 5779
Subjects:
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.
Online Access:Texto Completo
  • Holdings
  • Description
  • Table of Contents
  • Similar Items
  • Staff View

Internet

Texto Completo

Items no disponibles

Holdings details from

Similar Items

  • Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers /
    Published: (2008)
  • Reliable Software Technologies - Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings /
    Published: (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 /
    Published: (2009)
  • Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /
    Published: (2016)
  • Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden /
    Published: (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

  • Search History
  • Catálogo Anterior

¿Necesitas ayuda?

  • Search Tips
  • Ask a Librarian
  • FAQs

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

Cannot write session to /tmp/vufind_sessions/sess_mrqm8m0o0mfe7e02uja5vp639s