Showing 1 - 2 of 2 Results
1.
Computer Science - Theory and Applications: Fourth International Computer Science Symposium ... by Frid, Anna, Morozov, Andrey... ISBN: 9783642033506 List Price: $79.95
2.
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, V... by Kuncak, Viktor, Rybalchenko... ISBN: 9783642279393 List Price: $95.00