Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6. 1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6. 1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings


Book Informaton

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6. 1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Author

Christel Baier; Luís Caires

Series

Lecture Notes in Computer Science

Volume

10854

Year of Publication

1st ed. 2018

Publisher

Springer International Publishing

Pages

XI, 197

Language

en

ISBN

9783319926117, 9783319926124, 331992611X

ARI Id

1665122005436


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 3 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

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo