 |
| 1. |
|
Formal Aspects of Measurement
Tim Denvir, Rosalind Herman, Robin Whitty
E-bok. Springer London, 2012.
|
 |
| 2. |
|
5th Refinement Workshop
Cliff B Jones, Roger C Shaw, Tim Denvir
E-bok. Springer London, 2013.
|
|
| 3. |
|
5th Refinement Workshop
Cliff B Jones, Roger C Shaw, Tim Denvir
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1992.
|
|
| 4. |
|
Formal Aspects of Measurement
Tim Denvir, Rosalind Herman, Robin Whitty
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1992.
|
|
| 5. |
|
FME '94: Industrial Benefit of Formal Methods
Maurice Naftalin, Tim Denvir, Miquel Bertran
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1994.
|
|
|
|
