語系
Boulanger, Jean-Louis.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods DUP_1 = industrial use from model to the code /
by:
Boulanger, Jean-Louis.
(書目-語言資料,印刷品)
Formal methods applied to complex systems DUP_1 = implementation of the B Method /
by:
Boulanger, Jean-Louis.
(書目-語言資料,印刷品)
Formal methods applied to complex systems = implementation of the B Method /
by:
Boulanger, Jean-Louis.
(書目-語言資料,印刷品)
Industrial used of formal method DUP_1 = formal verification /
by:
Boulanger, Jean-Louis.
(書目-語言資料,印刷品)