Book Search Results
Formal Methods For Open Object Based Distributed Systems by Marcello M. Bonsangue
Find "Formal Methods For Open Object Based Distributed Systems" by Marcello M. Bonsangue through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Formal Methods for Open Object-Based Distributed Systems
By Marcello M. Bonsangue and Einar Broch Johnsen

“Formal Methods for Open Object-Based Distributed Systems” Metadata:
- Title: ➤ Formal Methods for Open Object-Based Distributed Systems
- Authors: Marcello M. BonsangueEinar Broch Johnsen
- Language: English
- Number of Pages: Median: 317
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2007
“Formal Methods for Open Object-Based Distributed Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer networks - Computer science - Software engineering - Operating systems (Computers) - Electronic data processing - Congresses - Distributed processing - Object-oriented programming (Computer science) - Electronic data processing, distributed processing
Edition Identifiers:
- The Open Library ID: OL37118275M - OL12810544M
- Online Computer Library Center (OCLC) ID: 137334577
- Library of Congress Control Number (LCCN): 2007927619
- All ISBNs: 9783540729525 - 3540729194 - 9783540729198 - 3540729526
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal Methods for Open Object-Based Distributed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Formal Methods for Open Object-Based Distributed Systems
By Marcello M. Bonsangue,Einar Broch Johnsen

“Formal Methods for Open Object-Based Distributed Systems” Metadata:
- Title: ➤ Formal Methods for Open Object-Based Distributed Systems
- Author: ➤ Marcello M. Bonsangue,Einar Broch Johnsen
- Publisher: Springer
- Publish Date: 2008
Edition Identifiers:
- The Open Library ID: OL28167361M
- All ISBNs: 9783540839224 - 3540839224
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal Methods for Open Object-Based Distributed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Formal Methods For Open Object Based Distributed Systems” online:
Shop for “Formal Methods For Open Object Based Distributed Systems” on popular online marketplaces.
- Ebay: New and used books.