Formal Techniques for Distributed Objects, Components, and Systems
Language: en
Pages: 197
Authors: Christel Baier
Categories: Computers
Type: BOOK - Published: 2018-05-29 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FO
Formal Techniques for Distributed Objects, Components, and Systems
Language: en
Pages: 243
Authors: Alexey Gotsman
Categories: Computers
Type: BOOK - Published: 2020-06-09 - Publisher: Springer Nature

GET EBOOK

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FO
Formal Techniques for Distributed Objects, Components, and Systems
Language: en
Pages: 299
Authors: Jorge A. PĂ©rez
Categories: Computers
Type: BOOK - Published: 2019-06-03 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FO
Formal Techniques for Distributed Objects, Components, and Systems
Language: en
Pages: 245
Authors: Kirstin Peters
Categories: Computers
Type: BOOK - Published: 2021-06-09 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Sy
Formal Techniques for Distributed Objects, Components, and Systems
Language: en
Pages: 255
Authors: Ahmed Bouajjani
Categories: Computers
Type: BOOK - Published: 2017-06-06 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FO