Isil Dillig Editor & Author

Computer Aided Verification

2 contributors - Paperback

£44.99

Computer Aided Verification

2 contributors - Paperback

£44.99

Computer Aided Verification

2 authors - Paperback

£51.70

Computer Aided Verification

2 authors - Paperback

£48.20

Computer Aided Verification

2 authors - Hardback

£52.20

Computer Aided Verification

2 authors - Hardback

£55.70

Verification, Model Checking, and Abstract Interpretation

2 contributors - Paperback

£44.99