Order Total (1 Item Items):
Shipping Destination:
Merz Stephan (91 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (91)
- 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 (69)
- As New, Fine or Near Fine (14)
- Very Good or Good (8)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (7)
- Signed (1)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (48)
- Not Print on Demand (69)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Condition: Good. A sound copy with only light wear. Overall a solid copy at a great price!
-
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Formal Systems Specification Vol. XXIII : The RPC-Memory Specification Case Study
Language: English
Published by Springer Berlin / Heidelberg, 1996
ISBN 10: 3540619844 ISBN 13: 9783540619840
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Formal Systems Specification: The Rpc-Memory Specification Case Study
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540619844 ISBN 13: 9783540619840
£ 3.46 10% off£ 3.12
£ 14.32 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Book 30 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer (edition 2008), 2008
ISBN 10: 3540674012 ISBN 13: 9783540674016
Hardcover. Condition: Good. 2008. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
-
Gesellschaft der Zukunft: 38 Ideen für Neues
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
First Edition
Hardback. Condition: New. 1.
-
Modeling and Verification of Real-Time Systems
Language: English
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
£ 34.91 10% off£ 31.42
£ 14.32 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
-
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Condition: As New. Unread book in perfect condition.
-
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science, 1169)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
-
Formal Systems Specification : The Rpc-Memory Specification Case Study
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Interactive Theorem Proving : 7th International Conference, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, Icfem 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Formal Systems Specification : The Rpc-Memory Specification Case Study
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Book 30 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 58.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Book 30 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 64.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Integrated Formal Methods: 8th International Conference, Ifm 2010, Nancy, France, October 11-14, 2010, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642162649 ISBN 13: 9783642162640
Paperback. Condition: Brand New. 347 pages. 9.41x6.26x0.79 inches. In Stock.
-
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6396)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 67.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: Brand New. 2014 edition. 480 pages. 9.00x6.00x1.00 inches. In Stock.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Formal Systems Specification
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1996, 1996
ISBN 10: 3540619844 ISBN 13: 9783540619840
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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 used 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.
