Showing 1 - 2 of 2 Results
1.
Model Checking Abstract State Machines by Winter, Kirsten ISBN: 9783639018912 List Price: $11.00
2.
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, Septe... by Furia, Carlo, Winter, Kirsten ISBN: 9783319989372 List Price: $79.99