Books by J. M. Spivey

1 title available, newest first by original publication date.

Understanding Z: A Specification Language and Its Formal Semantics

Understanding Z: A Specification Language and Its Formal Semantics

J. M. Spivey

$59.99