Jump to main content

yr 〜
yr

Search results 3

Introduction aux méthodes formelles 2e édition revue et augmentée

Introduction aux méthodes formelles 2e édition revue et augmentée
Paper図書
Jean-François MoninHermes Sciencec2000
Other Libraries in Japan
  • Note (General)Bibliographie: p. [331]-342 "Introduction aux méthodes formelles est la deuxième édition de l'...

Understanding formal methods

Understanding formal methods
Paper図書
written and translated by Jean-François Monin ; translation editor, Michael G. HincheySpringerc2003
Other Libraries in Japan
  • Alternative TitleIntroduction aux méthodes formelles
  • Alternative TitleIntroduction aux méthodes formelles

Collection technique et scientifique des télécommunications

Collection technique et scientifique des télécommunications
Paper図書
Hermès science publications : Lavoisier
Other Libraries in Japan
  • Related MaterialManagement des connaissances en entreprise Introduction aux méthodes formelles

Reached to the end of result.

RSS