Aller au contenu

UAM Iztapalapa 50 años

Login
  • 0 notices (Plein)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Langue
    • Inglés
    • Español
    • Francés
    • Galego
bannerbg
Recherche avancée
  • Dependable software systems en...
  • Citer
  • Envoyer par SMS
  • Envoyer par courriel
  • Imprimer
  • Exporter les notices
    • Exporter vers RefWorks
    • Exporter vers EndNoteWeb
    • Exporter vers EndNote
  • Ajouter au panier Retirer du panier
  • Permalien
Chargement en cours…
Prévisualiser
Prévisualiser
Prévisualiser

Dependable software systems engineering /

Afficher d'autres versions (3)
Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: NATO Advanced Study Institute on Dependable Software Systems Engineering Marktoberdorf, Germany
Autres auteurs: Irlbeck, Maximilian (Éditeur intellectuel), Peled, Doron (Éditeur intellectuel), Pretschner, Alexander (Éditeur intellectuel)
Format: Électronique Actes de congrès eBook
Langue:Inglés
Publié: Amsterdam : IOS Press, 2015.
Collection:NATO science for peace and security series. Information and communication security ; v. 40.
Sujets:
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
Accès en ligne:Texto completo
  • Exemplaires
  • Description
  • Table des matières
  • Autres Versions (3)
  • Documents similaires
  • Affichage MARC

Internet

Texto completo

Items no disponibles

Informations d'exemplaires de

Documents similaires

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

  • Historique de recherche
  • Catálogo Anterior

¿Necesitas ayuda?

  • Astuces pour la recherche
  • Contacter un bibliothécaire
  • FAQ

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

Cannot write session to /tmp/vufind_sessions/sess_4jbksap77jqo0lfp6l8mvtop11