Formal Systems Specification Rpc Memory (10 results)
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 18.19
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 21.14
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
Formal Systems Specification : The Rpc-Memory Specification Case Study
Broy, Manfred (EDT); Merz, Stephan (EDT); Spies, Katharina (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 71.57
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.84
US$ 16.22 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Formal Systems Specification : The Rpc-Memory Specification Case Study
Broy, Manfred (EDT); Merz, Stephan (EDT); Spies, Katharina (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 84.41
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Formal Systems Specification : The Rpc-Memory Specification Case Study
Broy, Manfred (EDT); Merz, Stephan (EDT); Spies, Katharina (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 70.83
US$ 20.31 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Formal Systems Specification : The Rpc-Memory Specification Case Study
Broy, Manfred (EDT); Merz, Stephan (EDT); Spies, Katharina (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.99
US$ 20.31 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 70.85
US$ 73.73 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was u…sed as the basis for comparing various approaches to formal specification, refinement, and verification.Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.
Seller: Moby Dick, Noordwijk, NetherlandsMoby Dick
Contact seller4-star sellerCondition: Used
US$ 47.26
US$ 56.32 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Springer 1996 sewed, 540 pp. Lecture notes in computer Science nr 1169 Perfect copy ISBN (9783540619840) (code Sc-36).
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.37
US$ 80.29 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Systems Specification | The RPC-Memory Specification Case Study | Manfred Broy (u. a.) | Taschenbuch | xxiii | Englisch | 1996 | Springer | EAN 9783540619840 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com… | Anbieter: preigu Print on Demand.
