Order Total (1 Item Items):
Shipping Destination:
Formal Methods Distributed Processing (41 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (41)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (5)
- Not Print on Demand (35)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Formal Methods for Protocol Engineering and Distributed Systems (International Federation for Information Processing, Volume 28)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 16 (SALE ITEM)* 497 pp., hardcover, ex library, else text and binding still clean, tight and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 27.73
Convert currencyUS$ 14.45 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
-
Formal methods for distributed processing. A survey of object-oriented approaches.
Published by Cambridge, Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
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.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
Condition: New.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
US$ 64.94
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Formal Methods for Distributed Processing (Paperback)
Published by Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
Paperback. Condition: new. Paperback. Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions. This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods for Distributed Processing
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
US$ 70.94
Convert currencyUS$ 8.83 shipping from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New. pp. 492 66:B&W 7 x 10 in or 254 x 178 mm Perfect Bound on White w/Gloss Lam.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 75.45
Convert currencyUS$ 16.27 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Distributed Processing
Published by Cambridge University Press CUP, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
Condition: New. pp. 492.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Published by Cambridge University Press 2011-12-08, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
US$ 71.60
Convert currencyUS$ 21.04 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Formal Methods for Distributed Processing
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
US$ 90.29
Convert currencyUS$ 11.49 shipping from Germany to U.S.A.Quantity: 3 available
Add to basketCondition: New. pp. 492.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
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.
-
Formal Methods for Distributed Processing
Published by Cambridge University Press CUP, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
Condition: New. pp. x + 480 1st Edition.
-
Formal Methods For Distributed Processing
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
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.
-
Formal Methods For Distributed Processing
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods for Distributed Processing
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
US$ 107.97
Convert currencyUS$ 8.83 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. pp. x + 480 Illus.
-
Formal Methods for Distributed Processing (Paperback)
Published by Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
US$ 81.12
Convert currencyUS$ 50.25 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: new. Paperback. Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions. This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Formal Methods for Distributed Processing
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
US$ 122.77
Convert currencyUS$ 11.49 shipping from Germany to U.S.A.Quantity: 4 available
Add to basketCondition: New. pp. x + 480.
-
Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
US$ 102.17
Convert currencyUS$ 37.62 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
-
Formal Methods for Distributed Processing (Paperback)
Published by Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Language: English
US$ 106.65
Convert currencyUS$ 37.00 shipping from Australia to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: new. Paperback. Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions. This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
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.
-
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.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
Condition: New. SUPER FAST SHIPPING.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 202.02
Convert currencyUS$ 16.27 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Distributed Processing (Hardcover)
Published by Cambridge University Press, Cambridge, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
Hardcover. Condition: new. Hardcover. This book presents the current state of the art in the application of formal methods to object based distributed systems. A major theme of the book is how to formally handle the new requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining new notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions. This collection of comprehensive surveys by leading researchers presents the current state of the art in the application of formal methods to object based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
US$ 202.82
Convert currencyUS$ 33.95 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
US$ 230.98
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Formal Methods for Distributed Processing (Hardcover)
Published by Cambridge University Press, Cambridge, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Language: English
US$ 212.60
Convert currencyUS$ 50.25 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: new. Hardcover. This book presents the current state of the art in the application of formal methods to object based distributed systems. A major theme of the book is how to formally handle the new requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining new notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions. This collection of comprehensive surveys by leading researchers presents the current state of the art in the application of formal methods to object based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
