1.
 |  | Title: Introduction to Discrete Mathematics for Software Engineering
by Tim Denvir
ISBN: 0029489210
Publisher: Free Press
Pub. Date: September, 1987
List Price: $36.00
Amazon.com Price: $36.00 |
2.
|  | Title: 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 1-10 January 1992
by Cliff B. Jones, Roger C. Shaw, Tim Denvir
ISBN: 0387197524
Publisher: Springer-Verlag
Pub. Date: 01 July, 1992
List Price: $89.95
Amazon.com Price: $89.95 |
3.
|  | Title: Formal Aspects of Measurement: Proceedings of the Bcs-Facs Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
by Tim Denvir, Ros Herman, R.W. Whitty
ISBN: 0387197885
Publisher: Springer-Verlag
Pub. Date: 01 October, 1992
List Price: $59.95
Amazon.com Price: $59.95 |
4.
|  | Title: Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : Proc
by Spai International Symposium of Formal Methods Europe 1994 Barcelona, Tim Denvir, Miquel Bertran, Maurice Naftalin
ISBN: 0387585559
Publisher: Springer-Verlag
Pub. Date: 01 November, 1994
List Price: $96.00
Amazon.com Price: $96.00 |
