1.
 |  | Title: 4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, Organised by Bcs-Facs, 9-11 January 1991, Cambridge (Workshops in Computing)
by England) Refinement Workshop 1991 Cambridge, Roger C. Shaw, Joesph M. Morris, Joseph M. Morris, Roger C. F. Shaw, British Computer Society Specialist Group in Formal Aspects of Computi
ISBN: 0387196579
Publisher: Springer-Verlag
Pub. Date: 01 September, 1991
List Price: $59.95
Amazon.com Price: $59.95 |
2.
|  | Title: Case Studies in Systematic Software Development (Prentice Hall international series in computer science)
by Cliff B. Jones, Roger C.F. Shaw
ISBN: 0131160885
Publisher: Prentice Hall
Pub. Date: 01 December, 1990
List Price: $39.00
Amazon.com Price: $39.00 |
3.
|  | Title: 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 1-10 January 1992 (Workshops in Computing)
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 |
4.
|  | Title: Safety and Reliability of Software Based Systems: Twelfth Annual Csr Workshop (Bruges 12-15 September 1995)
by Roger Shaw, Roger C.F. Shaw, Roger C. F. Shaw
ISBN: 3540760342
Publisher: Springer-Verlag
Pub. Date: 01 April, 1997
List Price: $96.00
Amazon.com Price: $96.00 |
