Bernd Finkbeiner Editor

Automated Technology for Verification and Analysis cover

Automated Technology for Verification and Analysis

3 contributors - Paperback

£44.99

Runtime Verification cover

Runtime Verification

2 contributors - Paperback

£54.99

Fields of Logic and Computation III cover

Fields of Logic and Computation III

5 contributors - Paperback

£44.99

Verification, Model Checking, and Abstract Interpretation cover

Verification, Model Checking, and Abstract Interpretation

2 contributors - Paperback

£79.99

Fields of Logic and Computation II cover

Fields of Logic and Computation II

5 contributors - Paperback

£44.99