skip to main content

Software Safety and Security

T. Nipkow ; O Grumberg; Tobias Nipkow

Amsterdam IOS Press, 2012

Accessible en ligne

  • Titre:
    Software Safety and Security
  • Auteur: T. Nipkow
  • Autre(s) auteur(s): O Grumberg; Tobias Nipkow
  • Éditeur: Amsterdam IOS Press
  • Date de publication: 2012
  • Langue: Anglais
  • Identifiant: ISBN 1-61499-027-1 ;ISBN 6613717215 ;ISBN 9786613717214 ;ISBN 1-61499-028-X ;ISBN 1-280-87590-9
  • Source: Mines ParisTech (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    PSL (ressources électroniques)
    Collège de France (ressources électroniques)
    Dauphine (ressources électroniques)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré