2 books • 2 series
Algebraic Specification Techniques And Tools For Software Development: The Act Approach (Amast Series In Computing, #1)
Thermomechanics Of Phase Transitions In Classical Field Theory (Series on Advances in Mathematics for Applied Sciences, #13)