語系
Stefani, Jean-Bernard.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for Open object-based distributed systems /
by:
Najm, Elie.; Stefani, Jean-Bernard.
(書目-語言資料,印刷品)
Reversible computation7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(1998 :); Krivine, Jean.; SpringerLink (Online service); Stefani, Jean-Bernard.
(書目-電子資源)
Distributed applications and interoperable systems4th IFIP WG6.1 International Conference, DAIS 2003, Paris France November 17-21, 2003 : proceedings /
by:
(1998 :); Demeure, Isabelle.; Hagimont, Daniel.; SpringerLink (Online service); Stefani, Jean-Bernard.
(書目-電子資源)
主題
Software Engineering.
Electronic data processing
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer logic
Logic Design.
Internetworking (Telecommunication)
Quantum Computing.
Computer science
Application software
Reversible computing
Computer Science.