Formal Methods for Open Object-based Distributed Systems

Loading edition detail...

Preparing this view.

Formal Methods for Open Object-based Distributed Systems

Howard Bowman, John Derrick

Bookitis Pick

Formal Methods for Open Object-based Distributed SystemsHoward Bowman, John Derrick

Howard Bowman, John DerrickPublished Jul 14, 19984 title views

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer
Pages	470
Format	paperback
Search language	english
ISBN_10	1-504-12952-0 primary
ISBN_13	978-1-504-12952-7 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

FM
Image source: Open Library
Formal Methods for Open Object-based Distributed Systems - Volume 2
Springer | June 30, 1997
1 views
FM
Image source: Open Library
Formal methods for open object-based distributed systems
Chapman & Hall | 1997
1 views
FM
Image source: Open Library
Formal Methods for Open Object-based Distributed Systems
Springer | November 30, 1996
1 views
Formal Methods for Open Object-...Howard Bowman, John Derrick
FM
Formal Methods for Open Object-Based Distributed Systems
Howard Bowman, John Derrick | Springer | 2016
1 views