Book Search Results
Formal Methods For Open Object Based Distributed Systems
Find "Formal Methods For Open Object Based Distributed Systems" 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 Howard Bowman
“Formal methods for open object-based distributed systems” Metadata:
- Title: ➤ Formal methods for open object-based distributed systems
- Author: Howard Bowman
- Language: English
- Number of Pages: Median: 449
- Publisher: Chapman & Hall - Springer
- Publish Date: 1996 - 1997 - 1998 - 2016
- Publish Location: New York - London
“Formal methods for open object-based distributed systems” Subjects and Themes:
- Subjects: ➤ Electronic data processing - Distributed processing - Object-oriented programming (Computer science) - Congresses - Parallel programming (Computer science) - Electronic data processing, distributed processing - Object-oriented methods (Computer science)
Edition Identifiers:
- The Open Library ID: OL30585864M - OL7479184M - OL21119228M - OL37394895M - OL10185268M
- Online Computer Library Center (OCLC) ID: 36802760
- All ISBNs: ➤ 9780387352619 - 1504129520 - 0387352619 - 9781504129527 - 0412797704 - 9780412820403 - 9780412797705 - 0412820404
First Setence:
"The object-oriented paradigm is now probably the most important paradigm for the development of software."
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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.
3Formal Methods for Open Object-Based Distributed Systems
By Frank S. De Boer,Gilles Barthe
“Formal Methods for Open Object-Based Distributed Systems” Metadata:
- Title: ➤ Formal Methods for Open Object-Based Distributed Systems
- Author: Frank S. De Boer,Gilles Barthe
- Publisher: Springer
- Publish Date: 2008
Edition Identifiers:
- The Open Library ID: OL27975983M
- All ISBNs: 9783540848196 - 3540848193
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.
4Formal Methods for Open Object-Based Distributed Systems
By Martin Steffen,Gianluigi Zavattaro
“Formal Methods for Open Object-Based Distributed Systems” Metadata:
- Title: ➤ Formal Methods for Open Object-Based Distributed Systems
- Author: ➤ Martin Steffen,Gianluigi Zavattaro
- Publisher: Springer
- Publish Date: 2008
Edition Identifiers:
- The Open Library ID: OL28123666M
- All ISBNs: 3540811656 - 9783540811657
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.
5Formal Methods for Open Object-Based Distributed Systems V
By Bart Jacobs
“Formal Methods for Open Object-Based Distributed Systems V” Metadata:
- Title: ➤ Formal Methods for Open Object-Based Distributed Systems V
- Author: Bart Jacobs
- Language: English
- Number of Pages: Median: 279
- Publisher: Springer US
- Publish Date: 2002
- Publish Location: Boston, MA
“Formal Methods for Open Object-Based Distributed Systems V” Subjects and Themes:
- Subjects: ➤ Electronic data processing - Computer science - Electronic data processing, distributed processing - Object-oriented programming (computer science)
Edition Identifiers:
- The Open Library ID: OL27039464M
- Online Computer Library Center (OCLC) ID: 853266521
- All ISBNs: 9781475752687 - 1475752687 - 9780387354965 - 0387354964
Access and General Info:
- First Year Published: 2002
- 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 V at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Formal Methods for Open Object-Based Distributed Systems
By Elie Najm, Uwe Nestmann and Perdita Stevens
“Formal Methods for Open Object-Based Distributed Systems” Metadata:
- Title: ➤ Formal Methods for Open Object-Based Distributed Systems
- Authors: Elie NajmUwe NestmannPerdita Stevens
- Language: English
- Publisher: Springer London, Limited
- Publish Date: 2003 - 2016
Edition Identifiers:
- The Open Library ID: OL37232860M - OL37150162M
- All ISBNs: 0387350829 - 9783540399582 - 3540399585 - 9780387350820
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal Methods for Open Object-Based Distributed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Formal Methods for Open Object-Based Distributed Systems IV
By Scott F. Smith
“Formal Methods for Open Object-Based Distributed Systems IV” Metadata:
- Title: ➤ Formal Methods for Open Object-Based Distributed Systems IV
- Author: Scott F. Smith
- Language: English
- Number of Pages: Median: 436
- Publisher: ➤ Springer - Springer US - Imprint: Springer
- Publish Date: 2000 - 2012
- Publish Location: Boston, MA
Edition Identifiers:
- The Open Library ID: OL27967343M - OL27039463M
- Online Computer Library Center (OCLC) ID: 840276424
- All ISBNs: 0387355200 - 9780387355207 - 9781475710182 - 1475710186
Access and General Info:
- First Year Published: 2000
- 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 IV at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Formal methods for open object-based distributed systems V
By International Conference on Formal Methods for Open Object-Based Distributed Systems (5th 2002 Enschede, Netherlands)
“Formal methods for open object-based distributed systems V” Metadata:
- Title: ➤ Formal methods for open object-based distributed systems V
- Author: ➤ International Conference on Formal Methods for Open Object-Based Distributed Systems (5th 2002 Enschede, Netherlands)
- Language: English
- Number of Pages: Median: 287
- Publisher: ➤ Springer - Kluwer Academic Publishers
- Publish Date: 2002
- Publish Location: Boston
“Formal methods for open object-based distributed systems V” Subjects and Themes:
- Subjects: ➤ Congresses - Electronic data processing - Distributed processing - Object-oriented programming (Computer science) - Electronic data processing, distributed processing - Object-oriented programming (computer science)
Edition Identifiers:
- The Open Library ID: OL20644837M - OL7809843M
- Library of Congress Control Number (LCCN): 2002016018
- All ISBNs: 9780792376835 - 0792376838
First Setence:
"Security protocols aim to provide security guarantees between parties communicating over an insecure network, and possibly in the presence of malicious agents who can interfere with and disrupt communication traffic."
Access and General Info:
- First Year Published: 2002
- 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 V at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Formal methods for open object-based distributed systems IV
By International Conference on Formal Methods for Open Object-Based Distributed Systems (4th 2000 Stanford, Calif.)
“Formal methods for open object-based distributed systems IV” Metadata:
- Title: ➤ Formal methods for open object-based distributed systems IV
- Author: ➤ International Conference on Formal Methods for Open Object-Based Distributed Systems (4th 2000 Stanford, Calif.)
- Language: English
- Number of Pages: Median: 425
- Publisher: ➤ Springer - Kluwer Academic Publishers
- Publish Date: 2000
- Publish Location: Boston, Mass
“Formal methods for open object-based distributed systems IV” Subjects and Themes:
- Subjects: ➤ Congresses - Electronic data processing - Distributed processing - Object-oriented programming (Computer science) - Electronic data processing, distributed processing - Object-oriented programming (computer science)
Edition Identifiers:
- The Open Library ID: OL9892743M - OL18321386M
- Library of Congress Control Number (LCCN): 00056231
- All ISBNs: 9780792379232 - 0792379233
First Setence:
"Coordination middlewares are emerging as suitable architectures for making easier the programming of distributed applications."
Access and General Info:
- First Year Published: 2000
- 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 IV at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Formal methods for open object-based distributed systems
By International Conference on Formal Methods for Open Object-Based Distributed Systems (6th 2003 Paris, France)
“Formal methods for open object-based distributed systems” Metadata:
- Title: ➤ Formal methods for open object-based distributed systems
- Author: ➤ International Conference on Formal Methods for Open Object-Based Distributed Systems (6th 2003 Paris, France)
- Language: English
- Number of Pages: Median: 292
- Publisher: Springer-Verlag
- Publish Date: 2003
- Publish Location: New York - Berlin
“Formal methods for open object-based distributed systems” Subjects and Themes:
- Subjects: ➤ Congresses - Electronic data processing - Distributed processing - Object-oriented programming (Computer science) - Electronic data processing, distributed processing - Formal methods (Computer science)
Edition Identifiers:
- The Open Library ID: OL22580770M
- Online Computer Library Center (OCLC) ID: 232370610 - 53287799
- Library of Congress Control Number (LCCN): 2003066647
- All ISBNs: 3540204911 - 9783540204916
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal methods for open object-based distributed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Formal methods for open object-based distributed systems
By Roberto Gorrieri and Heike Wehrheim
“Formal methods for open object-based distributed systems” Metadata:
- Title: ➤ Formal methods for open object-based distributed systems
- Authors: Roberto GorrieriHeike Wehrheim
- Language: English
- Number of Pages: Median: 272
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2006 - 2013
“Formal methods for open object-based distributed systems” Subjects and Themes:
- Subjects: Electronic data processing - Congresses - Distributed processing - Object-oriented programming (Computer science) - Electronic data processing, distributed processing
Edition Identifiers:
- The Open Library ID: OL37169598M - OL9056600M - OL37425631M - OL34452533M
- Online Computer Library Center (OCLC) ID: 70250493
- Library of Congress Control Number (LCCN): 2006926884
- All ISBNs: ➤ 9781475752663 - 1475752660 - 354034893X - 3540348956 - 0387355626 - 9783540348955 - 9780387355627 - 9783540348931
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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.
12Formal Methods for Open Object-Based Distributed Systems
By Gilles Barthe
“Formal Methods for Open Object-Based Distributed Systems” Metadata:
- Title: ➤ Formal Methods for Open Object-Based Distributed Systems
- Author: Gilles Barthe
- Language: English
- Number of Pages: Median: 258
- Publisher: ➤ Springer-Verlag Berlin Heidelberg
- Publish Date: 2008
- Publish Location: Berlin, Heidelberg
“Formal Methods for Open Object-Based Distributed Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Operating systems (Computers) - Electronic data processing, distributed processing - Object-oriented programming (computer science) - Electronic data processing - Congresses - Distributed processing - Object-oriented programming (Computer science) - Formal methods (Computer science)
Edition Identifiers:
- The Open Library ID: OL25541898M
- Online Computer Library Center (OCLC) ID: 232124186
- All ISBNs: 3540688625 - 9783540688624 - 9783540688631 - 3540688633
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.
13Formal methods for open object-based distributed systems
By International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd 1999 Florence, Italy)
“Formal methods for open object-based distributed systems” Metadata:
- Title: ➤ Formal methods for open object-based distributed systems
- Author: ➤ International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd 1999 Florence, Italy)
- Language: English
- Number of Pages: Median: 444
- Publisher: Kluwer Academic - Springer
- Publish Date: 1999
- Publish Location: Bostons
“Formal methods for open object-based distributed systems” Subjects and Themes:
- Subjects: ➤ Congresses - Electronic data processing - Distributed processing - Object-oriented programming (Computer science) - Object-oriented methods (computer science) - Osi (computer network standard) - Electronic data processing, distributed processing
Edition Identifiers:
- The Open Library ID: OL19142604M - OL7810225M
- Online Computer Library Center (OCLC) ID: 40359447
- Library of Congress Control Number (LCCN): 98051608
- All ISBNs: 0792384296 - 9780792384298
First Setence:
"The object-oriented research community developed techniques, tools and environments that have been applied to several software development projects in the context of a wide range of application domains."
Access and General Info:
- First Year Published: 1999
- 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.
14Formal methods for open object-based distributed systems
By International Conference on Formal Methods for Open Object-Based Distributed Systems (6th 2003 Paris, France)
“Formal methods for open object-based distributed systems” Metadata:
- Title: ➤ Formal methods for open object-based distributed systems
- Author: ➤ International Conference on Formal Methods for Open Object-Based Distributed Systems (6th 2003 Paris, France)
- Language: English
- Number of Pages: Median: 293
- Publisher: Springer
- Publish Date: 2004
“Formal methods for open object-based distributed systems” Subjects and Themes:
- Subjects: Electronic data processing - Distributed processing - Congresses - Object-oriented programming (Computer science)
Edition Identifiers:
- The Open Library ID: OL9508940M
- All ISBNs: 3540204911 - 9783540204916
First Setence:
"Many programmming languages offer different integral types, represented by different numbers of bits."
Access and General Info:
- First Year Published: 2004
- 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.
15Formal 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.
16Formal Methods for Open Object-Based Distributed Systems
By Martin Steffen
“Formal Methods for Open Object-Based Distributed Systems” Metadata:
- Title: ➤ Formal Methods for Open Object-Based Distributed Systems
- Author: Martin Steffen
- Language: English
- Number of Pages: Median: 323
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2005
“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) - Computer programming - Formal methods (Computer science)
Edition Identifiers:
- The Open Library ID: OL37118273M - OL9666458M
- Online Computer Library Center (OCLC) ID: 60677082
- Library of Congress Control Number (LCCN): 2005926702
- All ISBNs: 9783540315568 - 9783540261810 - 3540261818 - 354031556X
Access and General Info:
- First Year Published: 2005
- 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.