Hoppa till sidans huvudinnehåll

Tim Denvir - Böcker

Visar alla böcker från författaren Tim Denvir.
3 produkter

5th Refinement Workshop

Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

AvCliff B. Jones,Roger C. Shaw m. fl.

Häftad, Engelska, 1992

709 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

AvTim Denvir,Rosalind Herman m. fl.

Häftad, Engelska, 1992

709 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

AvMaurice Naftalin,Tim Denvir m. fl.

Häftad, Engelska, 1994

1 419 kr

Skickas inom 10-15 vardagar