Bernd Finkbeiner Editor

Automated Technology for Verification and Analysis

3 contributors - Paperback

£44.99

Runtime Verification

2 contributors - Paperback

£54.99

Fields of Logic and Computation II

5 contributors - Paperback

£44.99

Fields of Logic and Computation III

5 contributors - Paperback

£44.99

Verification, Model Checking, and Abstract Interpretation

2 contributors - Paperback

£79.99

Design and Verification of Cyber-Physical Systems: From Theory to Applications

3 contributors - Paperback

£69.99