Tim Denvir – författare
Visar alla böcker från författaren Tim Denvir.
3 produkter
3 produkter
5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Häftad, Engelska, 1992
719 kr
Skickas inom 10-15 vardagar
Formal Aspects of Measurement
Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Häftad, Engelska, 1992
719 kr
Skickas inom 10-15 vardagar
FME '94: Industrial Benefit of Formal Methods
Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Häftad, Engelska, 1994
1 429 kr
Skickas inom 10-15 vardagar