Najm, Elie.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Techniques for Networked and Distributed Systems - FORTE 200626th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /
by:
(1998 :); Donzeau-Gouge, Veronique.; Najm, Elie.; Pradat-Peyre, Jean-Francois.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for open object-based distributed systems6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings /
by:
(1998 :); Najm, Elie.; Nestmann, Uwe.; SpringerLink (Online service); Stevens, Perdita.
(書目-電子資源)
Formal methods for Open object-based distributed systems /
by:
Najm, Elie.; Stefani, Jean-Bernard.
(書目-語言資料,印刷品)