Showing 1 - 3 of 3 Results
1.
Model Checking Software 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004,... by Graf, Susanne, Mounier, Lau... ISBN: 9783540213147 List Price: $68.00
2.
Model Checking Software by Graf, Susanne, Mounier, Lau... ISBN: 9783662184110 List Price: $24.99
3.
Foundations and Practice of Security : 15th International Symposium, FPS 2022, Ottawa, on, C... by Jourdan, Guy-Vincent, Mouni... ISBN: 9783031301216 List Price: $89.99