skip to main content

Verification, model checking, and abstract interpretation : 8th International conference, VMCAI 2007 Nice, France, january 14-16, 2007. Proceedings

Podelski, Andreas ; Cook, Byron

Berlin, Heidelberg : Springer, 2007

Voir les exemplaires

  • Titre:
    Verification, model checking, and abstract interpretation : 8th International conference, VMCAI 2007 Nice, France, january 14-16, 2007. Proceedings
  • Autre(s) auteur(s): Podelski, Andreas ;
    Cook, Byron
  • Sujets: Interprétation abstraite ;
    Analyse sémantique ;
    Modèl Checking ;
    Pointeur ;
    MODEL CHECKING
  • Titres liés: Collection : Lecture notes in computer science
  • Éditeur: Berlin, Heidelberg : Springer
  • Date de publication: 2007
  • Format: 1 vol. (XI-395 p.) : Ill. ; 24 cm
  • Langue: Anglais
  • Identifiant: ISBN 978-3-540-69735-0
  • Source: Mines ParisTech (catalogue)

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é