Dirk Beyer Author & Editor

Tools and Algorithms for the Construction and Analysis of Systems

2 contributors - Paperback

£44.99

Tools and Algorithms for the Construction and Analysis of Systems

4 contributors - Paperback

£44.99

Tools and Algorithms for the Construction and Analysis of Systems

2 contributors - Paperback

£44.99

Markovian Demand Inventory Models

4 authors - Hardback

£109.99

Verification, Model Checking, and Abstract Interpretation

2 contributors - Paperback

£69.99

Tests and Proofs

2 contributors - Paperback

£44.99