1.
Temporal Logic Mathematical Foundations and Computational Aspects
by Gabbay, Dov M., Reynolds, M...
ISBN: 9780198537687
List Price: $299.00
2.
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Bras�lia, Brazil...
by Dixon, Clare, Finger, Marcelo
ISBN: 9783319661667
List Price: $84.00