Formal methods for distributed processing : a survey of object-oriented approaches /

Other Authors:	Bowman, Howard,, Derrick, John,
Format:	Book
Language:	English
Published:	Cambridge, UK : Cambridge University Press, 2001.
Subjects:	Electronic data processing > Distributed processing Object-oriented programming (Computer science)

Similar Items

Engineering distributed objects /
by: Emmerich, Wolfgang, Dr. Rer. Nat.
Published: (2000)

Object-based parallel and distributed computation: France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 : selected papers/
Published: (1996)

CORBA distributed objects: using orbix/
by: Baker, Sean
Published: (1997)

CORBA distributed objects : using Orbix /
by: Baker, Sean
Published: (1997)

Event-Based Programming: taking events to the limit/
by: Faison, Edmund W.
Published: (2006)

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Published: (2001)

Practical distributed processing /
by: Brooke, Phillip J.
Published: (2008)

Formal methods for embedded distributed systems how to master the complexity /
Published: (2004)

Distributed computing
Published: (1986)

Coordinating distributed objects : an actor-based approach to synchronization /
by: Frølund, Svend.
Published: (1996)

Handbook on parallel and distributed processing /
Published: (2000)

An introduction to distributed and parallel processing /
by: Sharp, J. A. 1955-
Published: (1987)

Handbook on parallel and distributed processing/
Published: (2000)

Distributed data processing : technology and critical issues /
Published: (1984)

Explorations in parallel distributed processing: a handbook of models, programs, and exercises/
by: McClelland
Published: (1988)

Open distributed processing, II: proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing, Berlin, Germany, 13-16 September 1993/
Published: (1994)

Explorations in parallel distributed processing : a handbook of models, programs, and exercises /
by: McClelland, James L.
Published: (1988)

Parallel and distributed processing for computational mechanics : systems and tools /
Published: (1999)

DCOM explained /
Published: (1998)

A first course in computational physics and object-oriented programming with C/
by: Yevick, David
Published: (2005)

Coordinated computing: tools and techniques for distributed software/
by: Filman, Robert E.
Published: (1984)

Parallel and distributed processing: 10 IPPS/SPDP '98 workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30-April 3, 1998 : proceedings/
Published: (1998)

Content distribution networks : an engineering approach /
by: Verma, D. C.
Published: (2002)

Distributed systems architecture a middleware approach /
by: Puder, Arno.
Published: (2006)

Advances in computational mechanics with parallel and distributed processing/
Published: (1997)

Open distributed processing and multimedia /
by: Blair, Gordon
Published: (1998)

The distributed system environment : some practical approaches /
by: Booth, Grayce M., 1931-
Published: (1981)

Distributed simulation /
by: Hamilton, John A.
Published: (1997)

Distributed algorithms /
by: Lynch, Nancy A. 1948-
Published: (1997)

Distributed computing.
Published: (1986)

Distributed systems /
Published: (1989)

Distributed computing
Published: (1986)

Distributed systems/
Published: (1989)

Parallel and distributed computation : numerical methods /
by: Bertsekas, Dimitri P.
Published: (1997)

Parallel and distributed computation : numerical methods /
by: Bertsekas, Dimitri P.
Published: (1997)

Distributed systems: concepts and design/
by: Coulouris, George F., 1903-
Published: (2001)

Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (2005)

Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (1994)

Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (1970)

Distributed systems: concepts and design/
Published: (2012)

Cannot write session to /tmp/vufind_sessions/sess_s0bkjc5pmj6u4av9abk8rnbmh4