Related Books

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

DOWNLOAD 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

DOWNLOAD 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

DOWNLOAD 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: 312
Authors: Erika Ábrahám
Categories: Computers
Type: BOOK - Published: 2014-05-20 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FOR
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

DOWNLOAD 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