skip to main content

Aspect-Oriented Programming with the e Verification Language

David Robinson

Burlington Morgan Kaufmann, 2007

Accessible en ligne

  • Titre:
    Aspect-Oriented Programming with the e Verification Language
  • Auteur: David Robinson
  • Sujets: Information Technology -- General and Others
  • Éditeur: Burlington Morgan Kaufmann
  • Date de publication: 2007
  • Langue: Anglais
  • Identifiant: ISBN0-12-374210-2;ISBN9786611038328;ISBN1-281-03832-6;ISBN0-08-055155-6
  • Source: Dauphine (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    PSL (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é