Logic, Computation and Rigorous Methods
3 contributors - Paperback
£44.99
Rigorous State-Based Methods
5 contributors - Paperback
£64.99