Books by Axel Legay
7 books by Axel Legay with new and used prices compared across European bookshops.
Runtime Verification
Axel Legay
new from €42.79
Formal Modeling and Analysis of Timed Systems
Axel Legay
new from €39.58
Model Checking Software
Fabrizio Biondi; Thomas Given-Wilson; Axel Legay
new from €42.79
Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay
new from €49.99
Risks and Security of Internet and Systems
Frédéric Cuppens; Nora Cuppens; Jean-Louis Lanet; Axel Legay
new from €42.79
Models, Algorithms, Logics and Tools
Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Axel Legay; Radu Mardare
new from €42.79
Risks and Security of Internet and Systems
Nora Cuppens; Frédéric Cuppens; Jean-Louis Lanet; Axel Legay; Joaquin Garcia-Alfaro
new from €42.79