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ț: 371.00 lei 43-57 zile