Related Books
Language: en
Pages: 280
Pages: 280
Type: BOOK - Published: 2013-04-17 - Publisher: Springer
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems;
Language: en
Pages: 411
Pages: 411
Type: BOOK - Published: 2012-08-10 - Publisher: Springer
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, an
Language: en
Pages: 437
Pages: 437
Type: BOOK - Published: 2013-11-11 - Publisher: Springer
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open d
Language: en
Pages: 466
Pages: 466
Type: BOOK - Published: 2016-01-09 - Publisher: Springer
This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for objec
Language: en
Pages: 304
Pages: 304
Type: BOOK - Published: 2003-11-10 - Publisher: Springer Science & Business Media
This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems.