skip to main content

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

Springer Berlin Heidelberg, 2002

Accessible en ligne

  • Titre:
    Modular Specification and Verification of Object-Oriented Programs
  • Auteur: Peter Müller
  • Éditeur: Springer Berlin Heidelberg
  • Date de publication: 2002
  • Langue: Anglais
  • Identifiant: ISBN 3-540-43167-5 ;ISBN 3-540-45651-1
  • Source: Collège de France (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    Dauphine (ressources électroniques)
    Observatoire de Paris (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é