Hoppa till sidans huvudinnehåll

Tim Denvir – författare

Visar alla böcker från författaren .
3 produkter
Cliff B. Jones, Roger C. Shaw, Tim Denvir - 5th Refinement Workshop, Häftad

5th Refinement Workshop

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

AvCliff B. Jones,Roger C. Shawm. fl.

Häftad, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar

Tim Denvir, Rosalind Herman, Robin Whitty - Formal Aspects of Measurement, Häftad

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 Hermanm. fl.

Häftad, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar

Maurice Naftalin, Tim Denvir, Miquel Bertran - FME '94: Industrial Benefit of Formal Methods, Häftad

FME '94: Industrial Benefit of Formal Methods

Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

AvMaurice Naftalin,Tim Denvirm. fl.

Häftad, Engelska, 1994

1 459 kr

Skickas inom 10-15 vardagar