Formal Techniques for Distributed Systems [[electronic resource] ] : 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 / / edited by Dirk Beyer, Michele Boreale |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 321 p. 66 illus.) |
Disciplina | 004.36 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Computers Mathematical logic Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Mathematical Logic and Formal Languages |
ISBN | 3-642-38592-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distributed computing models -- Formal specification -- Testing -- Verification methods -- Application-level distributed systems -- Telecommunication services -- Internet -- Embedded and real-time systems.-Networking and communication security and reliability. |
Record Nr. | UNISA-996466282403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 / / edited by Dirk Beyer, Michele Boreale |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 321 p. 66 illus.) |
Disciplina | 004.36 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Computers Mathematical logic Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Mathematical Logic and Formal Languages |
ISBN | 3-642-38592-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distributed computing models -- Formal specification -- Testing -- Verification methods -- Application-level distributed systems -- Telecommunication services -- Internet -- Embedded and real-time systems.-Networking and communication security and reliability. |
Record Nr. | UNINA-9910484773003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
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 | ||
|