Kim Guldstrand Larsen Editor & Author

Verification, Model Checking, and Abstract Interpretation

3 contributors - Paperback

£44.99

Dependable Software Engineering. Theories, Tools, and Applications

3 contributors - Paperback

£44.99

Tools and Algorithms for the Construction and Analysis of Systems

2 contributors - Paperback

£34.99

Reactive Systems

4 authors - Hardback

£84.00

Reachability Problems

3 contributors - Paperback

£44.99

Tools and Algorithms for the Construction and Analysis of Systems

2 contributors - Paperback

£34.99

Formal Methods for Industrial Critical Systems

2 contributors - Paperback

£44.99