Items related to Formal Methods for Open Object-Based Distributed Systems...

Formal Methods for Open Object-Based Distributed Systems (IFIP Advances in Information and Communication Technology) - Softcover

 
9781475752663: Formal Methods for Open Object-Based Distributed Systems (IFIP Advances in Information and Communication Technology)

Synopsis

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods.
This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999.
Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

"synopsis" may belong to another edition of this title.

Buy Used

Zustand: Hervorragend | Sprache...
View this item

US$ 123.18 shipping from Germany to U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9780792384298: Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10)

Featured Edition

ISBN 10:  0792384296 ISBN 13:  9780792384298
Publisher: Springer, 1999
Hardcover

Search results for Formal Methods for Open Object-Based Distributed Systems...

Stock Image

Published by Springer, 2013
ISBN 10: 1475752660 ISBN 13: 9781475752663
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9781475752663

Contact seller

Buy New

US$ 218.34
Convert currency
Shipping: US$ 8.98
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Ciancarini, Paolo (EDT); Fantechi, Alessandro (EDT); Gorrieri, Roberto (EDT)
Published by Springer, 2013
ISBN 10: 1475752660 ISBN 13: 9781475752663
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 20346816-n

Contact seller

Buy New

US$ 232.01
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

Paolo Ciancarini
ISBN 10: 1475752660 ISBN 13: 9781475752663
New Paperback

Seller: Grand Eagle Retail, Mason, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. Paperback. Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government. Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781475752663

Contact seller

Buy New

US$ 234.66
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2013
ISBN 10: 1475752660 ISBN 13: 9781475752663
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar2716030093576

Contact seller

Buy New

US$ 230.69
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Unbekannt
Published by Springer US, 2013
ISBN 10: 1475752660 ISBN 13: 9781475752663
Used Softcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 24327334/1

Contact seller

Buy Used

US$ 125.44
Convert currency
Shipping: US$ 123.18
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2013
ISBN 10: 1475752660 ISBN 13: 9781475752663
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9781475752663_new

Contact seller

Buy New

US$ 254.80
Convert currency
Shipping: US$ 16.10
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Ciancarini, Paolo|Fantechi, Alessandro|Gorrieri, Roberto
Published by Springer US, 2013
ISBN 10: 1475752660 ISBN 13: 9781475752663
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased sup. Seller Inventory # 4207369

Contact seller

Buy New

US$ 217.58
Convert currency
Shipping: US$ 57.47
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Ciancarini, Paolo (EDT); Fantechi, Alessandro (EDT); Gorrieri, Roberto (EDT)
Published by Springer, 2013
ISBN 10: 1475752660 ISBN 13: 9781475752663
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 20346816

Contact seller

Buy Used

US$ 272.57
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Seller Image

Paolo Ciancarini
Published by Springer US Jan 2013, 2013
ISBN 10: 1475752660 ISBN 13: 9781475752663
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government. 452 pp. Englisch. Seller Inventory # 9781475752663

Contact seller

Buy New

US$ 258.57
Convert currency
Shipping: US$ 26.98
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2013
ISBN 10: 1475752660 ISBN 13: 9781475752663
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 452. Seller Inventory # 2697854354

Contact seller

Buy New

US$ 311.92
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

There are 5 more copies of this book

View all search results for this book