1.
Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi
by Iida, Shusaku, Meseguer, Jo...
ISBN: 9783642546235
List Price: $119.00
2.
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering...
by Ogata, Kazuhiro, Lawford, M...
ISBN: 9783319478456
List Price: $107.00