2.
Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Mea...
by Denvir, T., Herman, R., Whi...
ISBN: 9783540197881
List Price: $59.00
3.
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, ...
by Jones, C. B., Shaw, R.C., D...
ISBN: 9783540197522
List Price: $89.95
4.
FME '94: Industrial Benefit of Formal Methods: Proceedings of the Second International Sympo...
by Naftalin, Maurice, Denvir, ...
ISBN: 9783540585558
List Price: $118.00
5.
Analysis of Concurrent Systems
by Denvir, B.T., Harwood, W. T...
ISBN: 9783662163412
List Price: $24.99