Books by John Derrick

3 titles available, newest first by original publication date.

Refinement in Z and Object-Z: Foundations and Advanced Applications

John Derrick

$128.99

Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings

John Derrick

$67.99

Refinement: Semantics, Languages and Applications

Refinement: Semantics, Languages and Applications

John Derrick

$67.99