Order Total (1 Item Items):
Shipping Destination:
Formal Methods Distributed Processing (45 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (45)
- 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 Learn more
- New (41)
- As New, Fine or Near Fine (2)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (1)
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 (6)
- Not Print on Demand (30)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Formal Methods for Distributed Processing
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Condition: New. pp. x + 480 Illus.
-
Formal Methods for Distributed Processing
Language: English
Published by Cambridge University Press CUP, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Condition: New. pp. x + 480 1st Edition.
-
Formal Methods for Distributed Processing
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Condition: New. pp. x + 480.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Condition: New.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
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
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Condition: New.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
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. A survey of object-oriented approaches.
Language: English
Published by Cambridge, Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
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 (Hb 2001)
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 75.07
US$ 16.33 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press 2011-12-08, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
US$ 71.86
US$ 21.11 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 25. Weight in Grams: 850. . 2011. Reissue. paperback. . . . .
-
Formal Methods for Distributed Processing
Language: English
Published by Cambridge University Press CUP, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Condition: New. pp. 492.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Condition: New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 25. Weight in Grams: 850. . 2011. Reissue. paperback. . . . . Books ship from the US and Ireland.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 108.92
US$ 14.50 shipping
Ships 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
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
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
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
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 : A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
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: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 199.19
US$ 16.33 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Condition: New.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
US$ 203.56
US$ 34.08 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
International EditionFORMAL METHODS FOR DISTRIBUTED PROCESSING A SURVEY OF OBJECT-ORIENTED APPROACHES (HB 2001)
Language: English
Published by CAMBRIDGE UNIVERSITY PRESS, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
US$ 229.58
US$ 8.16 shipping
Ships from United Kingdom to U.S.A.Quantity: 6 available
Add to basketCondition: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2002
ISBN 10: 0521771846 ISBN 13: 9780521771849
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
US$ 236.41
US$ 12.38 shipping
Ships from Ireland to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UK; UMN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 1015. . 2002. Illustrated. hardcover. . . . .
-
Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 263.36
US$ 16.33 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Condition: New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UK; UMN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 1015. . 2002. Illustrated. hardcover. . . . . Books ship from the US and Ireland.
-
US$ 291.36
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 480 pages. 10.25x7.25x1.25 inches. In Stock.
-
Formal Methods for Distributed Processing
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
US$ 345.36
US$ 34.08 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
