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