Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Coordination Models and Languages [[electronic resource] ] : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Simon Bliudze, Laura Bocchi
| Coordination Models and Languages [[electronic resource] ] : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Simon Bliudze, Laura Bocchi |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (407 pages) |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Computers Artificial intelligence Programming languages (Electronic computers) Software Engineering Computer Systems Organization and Communication Networks Information Systems and Communication Service Artificial Intelligence Programming Languages, Compilers, Interpreters |
| ISBN | 3-030-50029-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials -- Coordination Languages -- Message-based Communication -- Communications: Types & Implementations -- Service-oriented Computing -- Large-scale Decentralized Systems -- Smart Contracts -- Modelling -- Verification & Analysis. |
| Record Nr. | UNISA-996418286703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Simon Bliudze, Laura Bocchi
| Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Simon Bliudze, Laura Bocchi |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (407 pages) |
| Disciplina |
004.36
005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Artificial intelligence Compilers (Computer programs) Software Engineering Computer Engineering and Networks Computer Communication Networks Artificial Intelligence Compilers and Interpreters |
| ISBN | 3-030-50029-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials -- Coordination Languages -- Message-based Communication -- Communications: Types & Implementations -- Service-oriented Computing -- Large-scale Decentralized Systems -- Smart Contracts -- Modelling -- Verification & Analysis. |
| Record Nr. | UNINA-9910410059503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
| Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 219 p. 66 illus.) |
| Disciplina | 001.64404 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Machine theory Software engineering Electronic digital computers—Evaluation Computers Professions Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering System Performance and Evaluation The Computing Profession |
| ISBN | 3-030-00359-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems. |
| Record Nr. | UNISA-996466329003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
| Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / / edited by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 219 p. 66 illus.) |
| Disciplina |
001.64404
004.36 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Machine theory Software engineering Electronic digital computers - Evaluation Computers Professions Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering System Performance and Evaluation The Computing Profession |
| ISBN |
9783030003593
3030003590 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model Checking and State-Space Exploration -- Stochastic and Probabilistic Systems. |
| Record Nr. | UNINA-9910349402603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||