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
  • Dependable software systems en...
  • 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

Dependable software systems engineering /

Mostrar otras versiones (3)
Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Study Institute on Dependable Software Systems Engineering Marktoberdorf, Germany
Otros Autores: Irlbeck, Maximilian (Editor ), Peled, Doron (Editor ), Pretschner, Alexander (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2015.
Colección:NATO science for peace and security series. Information and communication security ; v. 40.
Temas:
Computer software > Verification > Congresses.
Computer systems > Verification > Congresses.
Logiciels > Vérification > Congrès.
Systèmes informatiques > Vérification > Congrès.
COMPUTERS > Computer Literacy.
COMPUTERS > Computer Science.
COMPUTERS > Data Processing.
COMPUTERS > Hardware > General.
COMPUTERS > Information Technology.
COMPUTERS > Machine Theory.
COMPUTERS > Reference.
Computer software > Verification
Computer systems > Verification
Conference papers and proceedings
Acceso en línea:Texto completo
  • Existencias
  • Descripción
  • Tabla de Contenidos
  • Otras Versiones (3)
  • Ejemplares similares
  • Etiquetas MARC

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares

  • Dependable software systems engineering /
    Publicado: (2015)
  • Engineering Dependable Software Systems.
    por: Broy, M.
    Publicado: (2013)
  • Engineering dependable software systems /
    Publicado: (2013)
  • Principles of model checking /
    por: Baier, Christel
    Publicado: (2008)
  • Software Safety and Security.
    por: Nipkow, T.
    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_cu58ta8jeq797lu5o8iht0hdsm