Denvir tim editor (2 Ergebnisse)
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];
- Softcover
Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 3,55
EUR 6,03 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: 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)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,01
EUR 14,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 392 pages. 9.21x6.14x0.89 inches. In Stock.
