Related Books
Language: en
Pages: 299
Pages: 299
Type: BOOK - Published: 2019-05-29 - Publisher: Springer
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FO
Language: en
Pages: 326
Pages: 326
Type: BOOK - Published: 2018-02-12 - Publisher: Springer
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses M
Language: en
Pages: 362
Pages: 362
Type: BOOK - Published: 2011-05-26 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO
Language: en
Pages: 244
Pages: 244
Type: BOOK - Published: 2010-06-01 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO
Language: en
Pages: 333
Pages: 333
Type: BOOK - Published: 2013-05-29 - Publisher: Springer
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO