Sriram Sankaranarayanan Editor

Tools and Algorithms for the Construction and Analysis of Systems

2 contributors - Paperback

£34.99

Tools and Algorithms for the Construction and Analysis of Systems

2 contributors - Paperback

£34.99

Formal Modeling and Analysis of Timed Systems

2 contributors - Paperback

£44.99

Automated Technology for Verification and Analysis

3 contributors - Paperback

£129.99

Automated Technology for Verification and Analysis

3 contributors - Paperback

£109.99

Verification, Model Checking, and Abstract Interpretation

3 contributors - Paperback

£49.99

Verification, Model Checking, and Abstract Interpretation

3 contributors - Paperback

£49.99