skip to main content

The first World congress on formal methods in the development of computing systems (FM'99) : special issue

New York : IEEE Computer society, 2000

Voir les exemplaires

  • Titre:
    The first World congress on formal methods in the development of computing systems (FM'99) : special issue
  • Sujets: LANGAGE B ;
    LANGAGE CSP ;
    LANGAGE Z ;
    SPECIFICATION ;
    TEMPS REEL ;
    TEST ;
    Preuve de programme ;
    H-INF.TH.
  • Description: Mines : Numero spécial contenant 12 communications du congrès FM'99, publié en totalité dans les revues LNCS no 1708 et 1709
  • Éditeur: New York : IEEE Computer society
  • Date de publication: 2000
  • Format: P. 673-741 : Ill. ; 28 cm
  • 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é