Formal Specification and Synthesis of Procedural Controllers for Process Systems Lecture Notes in Control and Information Sciences, nr. 212 Autor Arturo Sanchez 20 mar 1996 Paperback Preț: 377.87 lei 6-8 săpt.