skip to main content

Automated Database Applications Testing: Specification Representation For Automated Reasoning

Rana Farid Mikhail ; Donald Berndt; Donald J Berndt; Abraham Kandel

WSPC, 2010

Accessible en ligne

  • Titre:
    Automated Database Applications Testing: Specification Representation For Automated Reasoning
  • Auteur: Rana Farid Mikhail
  • Autre(s) auteur(s): Donald Berndt; Donald J Berndt; Abraham Kandel
  • Éditeur: WSPC
  • Date de publication: 2010
  • Langue: Anglais
  • Identifiant: ISBN 981-283-728-0 ;ISBN 9786612757471 ;ISBN 1-282-75747-4 ;ISBN 981-283-729-9
  • Source: Mines ParisTech (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    PSL (ressources électroniques)
    Dauphine (ressources électroniques)
    Collège de France (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é