Computer Aided Verification
2 contributors - Paperback
£40.49 was £44.99
2 authors - Hardback
£46.98 was £52.20
2 authors - Paperback
£48.11 was £53.45
£43.38 was £48.20
£51.71 was £57.45
