Languages
Boreale, Michele.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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 :)
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.