skip to main content

VDM '90 : VDM and Z formal methods in software development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings

VDM-Europe, International Symposium, 1990 ; Bjørner, Dines (1937-....) ; Hoare, Charles Antony Richard (1934-....) ; Langmaack, Hans

Berlin New York : Springer-Verlag, 1990

Voir les exemplaires

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é