言語
Boulanger, Jean-Louis.
概観
| 著作: | 1 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Safety management for software-based equipment[electronic resource] /
…で:
Boulanger, Jean-Louis.
(コンピュータ・メディア)
Formal methods applied to complex systems[electronic resource] :implementation of the B Method /
…で:
Boulanger, Jean-Louis.
(言語・文字資料 (印刷物))
Formal methods applied to industrial complex systems[electronic resource] /
…で:
Boulanger, Jean-Louis.
(言語・文字資料 (印刷物))
Formal methods[electronic resource] :industrial use from model to the code /
…で:
Boulanger, Jean-Louis.
(言語・文字資料 (印刷物))
Industrial used of formal method[electronic resource] :formal verification /
…で:
Boulanger, Jean-Louis.
(言語・文字資料 (印刷物))