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 20161 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
Search language	english
ISBN_13	978-0-387-35261-9 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
FM
Image source: Open Library
Formal Methods for Open Object-based Distributed Systems
Springer | November 30, 1996
Formal Methods for Open Object-...Howard Bowman, John Derrick
FM
Formal Methods for Open Object-based Distributed Systems
Howard Bowman, John Derrick | Springer | Jul 14, 1998