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