Formal techniques for distributed systems 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, proceedings /
This book constitutes the proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Te...
Corporate Authors: | FORTE (Conference) Ērakleion, Greece) |
---|---|
Other Authors: | FORTE (Conference), Albert, Elvira,, Lanese, Ivan,, SpringerLink (Online service), International Federated Conferences on Distributed Computing Techniques |
Format: | eBook |
Language: | English |
Published: |
Switzerland :
Springer,
2016.
|
Physical Description: |
1 online resource (xvi, 275 pages) : illustrations. |
Series: |
LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 9688. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |