Items related to Formal Methods for Distributed Processing: A Survey...

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Hardcover

 
9780521771849: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Synopsis

This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also describes approaches to the specification of nonfunctional requirements, needed typically in the specification of multimedia systems and security issues. Professionals in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships among the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

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

Book Description

This book presents the current state-of-the-art in the application of formal methods to object based distributed systems. It begins with the background of modern object-oriented based distributed systems and then develops a number of themes, including dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. This enables the reader to gain an appreciation of the relationships between the major areas of concerns and how the use of object-oriented based formal methods provides workable solutions.Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will find this comprehensive survey invaluable.

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

Buy Used

Condition: Good
Your purchase helps support Sri...
View this item

US$ 14.39 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9780521168755: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Featured Edition

ISBN 10:  0521168759 ISBN 13:  9780521168755
Publisher: Cambridge University Press, 2011
Softcover

Search results for Formal Methods for Distributed Processing: A Survey...

Stock Image

Bowman, Howard
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Used Hardcover

Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom

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

Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-J-026-01603

Contact seller

Buy Used

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

Quantity: 1 available

Add to basket

Seller Image

ISBN 10: 0521771846 ISBN 13: 9780521771849
Used Hardcover

Seller: Antiquariat Bookfarm, Löbnitz, Germany

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

Hardcover. 480 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780521771849 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2341238

Contact seller

Buy Used

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

Quantity: 1 available

Add to basket

Stock Image

Bowman
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
New Hardcover

Seller: Basi6 International, Irving, TX, U.S.A.

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

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-106132

Contact seller

Buy New

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

Quantity: 6 available

Add to basket

Stock Image

Bowman
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
New Hardcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

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

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-60134

Contact seller

Buy New

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

Quantity: 2 available

Add to basket

Stock Image

Howard Bowman
Published by Cambridge University Press CUP, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
New Hardcover

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. x + 480 1st Edition. Seller Inventory # 26261393

Contact seller

Buy New

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

Quantity: 4 available

Add to basket

Stock Image

Howard Bowman ,
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
New Hardcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

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

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-139856

Contact seller

Buy New

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

Quantity: 1 available

Add to basket

Stock Image

Howard Bowman ,
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
New Hardcover

Seller: Basi6 International, Irving, TX, U.S.A.

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

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-106133

Contact seller

Buy New

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

Quantity: 1 available

Add to basket

Stock Image

Bowman Howard
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
New Hardcover

Seller: Majestic Books, Hounslow, United Kingdom

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

Condition: New. pp. x + 480 Illus. Seller Inventory # 7619278

Contact seller

Buy New

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

Quantity: 4 available

Add to basket

Stock Image

Bowman Howard
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
New Hardcover

Seller: Biblios, Frankfurt am main, HESSE, Germany

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

Condition: New. pp. x + 480. Seller Inventory # 18261403

Contact seller

Buy New

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

Quantity: 4 available

Add to basket

Stock Image

Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
New Hardcover

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

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

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

Contact seller

Buy New

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

Quantity: 2 available

Add to basket

There are 10 more copies of this book

View all search results for this book