search for books and compare prices
Tim Denvir has written 6 work(s)
Search for other authors with the same name
displaying 1 to 6 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783662480922 Cover for 9780387585550 Cover for 9783540197522 Cover for 9780387197883 Cover for 9780387197524 Cover for 9780070164130
Carl Adam Petri: Life and Science
cover image for 9783662480922
By Tim Denvir (trans)
See complete details on each edition (1 edition listed)

Hardcover:

9783662480922 | Springer-Verlag New York Inc, November 11, 2015, cover price $29.99

Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : Proc
cover image for 9780387585550
By Miquel Bertran (editor), Tim Denvir, spai International Symposium of Formal Methods Europe 1994 Barcelona and Maurice Naftalin
See complete details on each edition (1 edition listed)

Paperback:

9780387585550 | Springer Verlag, November 1, 1994, cover price $118.00

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-facs, London, 8-10 January 1992
cover image for 9783540197522
By Tim Denvir (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540197522 | Springer Verlag, October 27, 1992, cover price $99.00

Formal Aspects of Measurement: Proceedings of the Bcs-Facs Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
cover image for 9780387197883
By Tim Denvir, Ros Herman and R. W. Whitty (editor)
See complete details on each edition (1 edition listed)

Paperback:

9780387197883 | Springer Verlag, October 1, 1992, cover price $59.00

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 1-10 January 1992
cover image for 9780387197524
By Tim Denvir (editor), Cliff B. Jones and Roger C. Shaw
See complete details on each edition (1 edition listed)

Paperback:

9780387197524 | Springer Verlag, July 1, 1992, cover price $89.95

Introduction to Discrete Mathematics for Software Engineering
cover image for 9780070164130
By Tim Denvir
See complete details on each edition (1 edition listed)

Hardcover:

9780070164130 | Macmillan Pub Co, October 1, 1987, cover price $39.95

displaying 1 to 6 | at end