Formal Methods for Open Object-Based Distributed Systems

Loading edition detail...

Preparing this view.

Formal Methods for Open Object-Based Distributed Systems

Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

Bookitis Pick

Formal Methods for Open Object-Based Distributed SystemsPaolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

Paolo Ciancarini, Alessandro Fantechi, Roberto GorrieriPublished 20131 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-35562-7 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

Formal Methods for Open Object-...Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
FM
Formal Methods for Open Object-Based Distributed Systems
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri | Springer | 2013
1 views
FM
Image source: Open Library
Formal Methods for Open Object-Based Distributed Systems
Springer | July 26, 2006
Formal Methods for Open Object-...Roberto Gorrieri, Heike Wehrheim
FM
Formal Methods for Open Object-Based Distributed Systems
Roberto Gorrieri, Heike Wehrheim | Springer London, Limited | 2006