nextRead
Subjects
New Releases
Order Status
Cart
Cart
Books by Simon Gay
2 titles available, newest first by original publication date.
Behavioural Types: from Theory to Tools
Behavioural Types: from Theory to Tools
Simon Gay
$128.99
Semantic Techniques in Quantum Computation
Semantic Techniques in Quantum Computation
Simon Gay
$129.99