Alessandra Di Pierro Editor

Formal Methods for Dynamical Systems

4 contributors - Paperback

£39.99

From Lambda Calculus to Cybersecurity Through Program Analysis

3 contributors - Paperback

£44.99