Unifying Theories of Programming
2 contributors - Paperback
£44.99
Theoretical Aspects of Computing – ICTAC 2016
The Application of Formal Methods
£59.99