Marco Bernardo Editor & Author

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

3 contributors - Paperback

£44.99

Probabilistic Trace and Testing Semantics

Marco Bernardo - Paperback

£60.00

Formal Methods for Executable Software Models

5 contributors - Paperback

£64.99

Formal Methods for Multicore Programming

2 contributors - Paperback

£39.99

Formal Methods for Dynamical Systems

4 contributors - Paperback

£39.99