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.
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.