Jens Palsberg Editor & Author

Verification, Model Checking, and Abstract Interpretation

2 contributors - Paperback

£44.99

Modern Compiler Implementation in Java

2 authors - Hardback

£71.00