skip to main content

Logics and Languages for Reliability and Security

J. Esparza ; B Spanfelner

Amsterdam IOS Press, 2010

Accessible en ligne

  • Titre:
    Logics and Languages for Reliability and Security
  • Auteur: J. Esparza
  • Autre(s) auteur(s): B Spanfelner
  • Éditeur: Amsterdam IOS Press
  • Date de publication: 2010
  • Langue: Anglais
  • Identifiant: ISBN 1-60750-099-X ;ISBN 6612692677 ;ISBN 9786612692673 ;ISBN 1-60750-100-7 ;ISBN 1-282-69267-4
  • Source: PSL (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    Dauphine (ressources électroniques)
    Collège de France (ressources électroniques)
    Mines ParisTech (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é