Related Books

Formal Methods for Open Object-Based Distributed Systems IV
Language: en
Pages: 411
Authors: Scott F. Smith
Categories: Computers
Type: BOOK - Published: 2012-08-10 - Publisher: Springer

DOWNLOAD EBOOK

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, an
Formal Methods for Open Object-Based Distributed Systems
Language: en
Pages: 304
Authors: Elie Najm
Categories: Computers
Type: BOOK - Published: 2003-11-24 - Publisher: Springer

DOWNLOAD EBOOK

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.
Formal Methods for Open Object-based Distributed Systems
Language: en
Pages: 496
Authors: Howard Bowman
Categories: Electronic data processing
Type: BOOK - Published: 1997 - Publisher:

DOWNLOAD EBOOK

Formal Methods for Open Object-Based Distributed Systems IV
Language: en
Pages: 432
Authors: Scott F. Smith
Categories:
Type: BOOK - Published: 2014-09-01 - Publisher:

DOWNLOAD EBOOK

Formal Modeling: Actors; Open Systems, Biological Systems
Language: en
Pages: 465
Authors: Gul Agha
Categories: Computers
Type: BOOK - Published: 2011-10-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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