Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings


Book Informaton

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Author

Alexey Gotsman; Ana Sokolova

Series

Lecture Notes in Computer Science

Volume

12136

Year of Publication

1st ed. 2020

Publisher

Springer International Publishing

Pages

XII, 237

Language

EN

ISBN

9783030500856, 9783030500863

ARI Id

1665258263932


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 18 of 18 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xii
1-1
3-21
22-38
39-58
59-77
78-95
96-114
115-132
133-149
150-168
169-186
187-187
189-207
208-224
225-225
227-235
237-237
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 18 of 18 entries