Coordination Models and Languages [[electronic resource] ] : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / / edited by Eva Kühn, Rosario Pugliese |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 195 p. 69 illus.) |
Disciplina | 004.36 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs Software Engineering/Programming and Operating Systems |
ISBN | 3-662-43376-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996217775003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination Models and Languages [[electronic resource] ] : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / / edited by Eva Kühn, Rosario Pugliese |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 195 p. 69 illus.) |
Disciplina | 004.36 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs Software Engineering/Programming and Operating Systems |
ISBN | 3-662-43376-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484171603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Models, Languages, and Tools for Concurrent and Distributed Programming [[electronic resource] ] : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / / edited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIII, 498 p. 2003 illus., 53 illus. in color.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Computer systems Computer networks Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques Computer System Implementation Computer Communication Networks |
ISBN | 3-030-21485-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Homage from Friends -- Observational Semantics -- Coordination Models and Languages -- Logics and Types -- Distributed Systems Modelling -- Security. |
Record Nr. | UNISA-996466073003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / / edited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIII, 498 p. 2003 illus., 53 illus. in color.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Computer systems Computer networks Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques Computer System Implementation Computer Communication Networks |
ISBN | 3-030-21485-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Homage from Friends -- Observational Semantics -- Coordination Models and Languages -- Logics and Types -- Distributed Systems Modelling -- Security. |
Record Nr. | UNINA-9910349314803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|