語系
Boreale, Michele.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Models, languages, and tools for concurrent and distributed programming = essays dedicated to Rocco De Nicola on the occasion of his 65th birthday /
by:
De Nicola, Rocco.; Boreale, Michele.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal techniques for distributed systems = Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings /
by:
SpringerLink (Online service); Boreale, Michele.; Beyer, Dirk.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Models, Languages, and Tools for Concurrent and Distributed Programming = Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /
by:
Loreti, Michele.; SpringerLink (Online service); Boreale, Michele.; Corradini, Flavio.; Pugliese, Rosario.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Formal methods (Computer science)
Computer System Implementation.
Computer logic.
Computer Communication Networks.
Software engineering.
De Nicola, Rocco.
Architecture, Computer.
Computer Science.
Programming Techniques.
Computer programming.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer communication systems.
Electronic data processing
Logic design.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computation by Abstract Devices.