Languages
Stefani, Jean-Bernard.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for Open object-based distributed systems /
by:
Najm, Elie.; Stefani, Jean-Bernard.
(Language materials, printed)
Reversible computation7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(1998 :); Krivine, Jean.; SpringerLink (Online service); Stefani, Jean-Bernard.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.