Denvir tim editor (2 résultats)
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];
- Couverture souple
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 3,61
EUR 6,14 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Good. Sorry, No international shipping on this item.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)
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 81,05
EUR 14,54 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Paperback. Etat : Brand New. 392 pages. 9.21x6.14x0.89 inches. In Stock.
