Showing 1 - 3 of 3 Results
1.
Journey Through Switzerland by Gerth, Robert, Merki, Otto,... ISBN: 9783800309771 List Price: $24.95
2.
Practical Aspects of Spin Model-Checking 6th International Workshop, Spin'99, Held As Fm'99 ... by Dams, Dennis, Gerth, Robert... ISBN: 9783540664994 List Price: $69.95
3.
Theoretical and Practical Aspects of Spin Model Checking by Dams, Dennis, Gerth, Robert... ISBN: 9783662211687 List Price: $24.99