Related Books
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: 304
Pages: 304
Type: BOOK - Published: 2003-11-24 - Publisher: Springer
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.
Language: en
Pages: 496
Pages: 496
Type: BOOK - Published: 1997 - Publisher:
Language: en
Pages: 432
Pages: 432
Type: BOOK - Published: 2014-09-01 - Publisher:
Language: en
Pages: 465
Pages: 465
Type: BOOK - Published: 2011-10-13 - Publisher: Springer Science & Business Media
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium he