Axel Legay

Axel Legay is the author of "Automated Technology for Verification and Analysis", "Tools and Algorithms for the Construction and Analysis of Systems", "Risks and Security of Internet and Systems" and "Model Checking Software".

Books by Axel Legay

Tools and Algorit...
Legay Axel
Paperback:

Hardware and Soft...
Bertacco Valeria
Electronic book text: $89.99

From Programs to ...
Bensalem Saddek
Paperback:

Automated Technol...
Artho Cyrille
Paperback: $99.99