Reihe Lecture Notes in Control and Information SciencesArturo Sanchez × Formal Specification and Synthesis of Procedural Controllers for Process Systems Arturo SanchezSpringer BerlineBook200653,49 € Formal Specification and Synthesis of Procedural Controllers for Process Systems Arturo SanchezSpringer BerlinSoftcover199653,49 €
