Denvir Tim Editor (2 results)

Author:

Refine with Advanced Search

Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc
Methods, International Symposium of Formal; Naftalin, Maurice [Editor]; Denvir, Tim [Editor]; Bertran, Miquel [Editor];
Language: English
Published by Springer 1994
3540585559 / 9783540585558
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
5-star seller
Contact seller
Condition: Used - Good
£ 3.06
£ 5.21 shipping
Ships within U.S.A.
Quantity: 1 available
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 (Workshops in Computing)
Jones, Cliff B. (Editor) / Shaw, Roger C. (Editor) / Denvir, Tim (Editor)
Language: English
Published by Springer 1992
3540197524 / 9783540197522
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 67.18
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 392 pages. 9.21x6.14x0.89 inches. In Stock.