Merz Stephan Editor (3 results)
Author:
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)
Broy, Manfred [Editor]; Merz, Stephan [Editor]; Spies, Katharina [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 6.65
£ 5.30 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 67.78
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 347 pages. 9.41x6.26x0.79 inches. In Stock.
Interactive Theorem Proving: 7th International Conference, Proceedings
Blanchette, Jasmin Christian (Editor)/ Merz, Stephan (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 70.10
£ 35.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 520 pages. 9.25x6.10x1.18 inches. In Stock.
