CURRENTLY SOLD OUT

Formal Specification and Synthesis of Procedural Controllers for Process Systems by Arturo Sanchez (Paperback, 1996)