語系
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.
Electronic data processing
Software engineering.
De Nicola, Rocco.
Logic design.
Architecture, Computer.
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer communication systems.