Tim Denvir - Böcker

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

5th Refinement Workshop

Av Cliff B. Jones, Roger C. Shaw, Tim Denvir, Cliff Jones

Häftad, Engelska, 1992

739 kr

Skickas inom 10-15 vardagar
Tim Denvir, Rosalind Herman, Robin Whitty - Formal Aspects of Measurement, Häftad

Formal Aspects of Measurement

Av Tim Denvir, Rosalind Herman, Robin Whitty

Häftad, Engelska, 1992

739 kr

Skickas inom 10-15 vardagar
Maurice Naftalin, Tim Denvir, Miquel Bertran - FME '94: Industrial Benefit of Formal Methods, Häftad
Del 873 - Lecture Notes in Computer Science

FME '94: Industrial Benefit of Formal Methods

Av Maurice Naftalin, Tim Denvir, Miquel Bertran

Häftad, Engelska, 1994

1 449 kr

Skickas inom 10-15 vardagar