Axel Legay Editor

Automated Technology for Verification and Analysis

3 contributors - Paperback

£40.49 was £44.99

Risks and Security of Internet and Systems

5 contributors - Paperback

£40.49 was £44.99

Model Checking Software

3 contributors - Paperback

£40.49 was £44.99

Risks and Security of Internet and Systems

4 contributors - Paperback

£40.49 was £44.99

Models, Algorithms, Logics and Tools

6 contributors - Paperback

£40.49 was £44.99

Runtime Verification

2 contributors - Paperback

£40.49 was £44.99