Formal Specification and Synthesis of Procedural Controllers for Process Systems (Lecture Notes in Control and Information Sciences)

von A. Sanchez

Springer-Verlag GmbH · 1996

Taschenbuch

EAN=ISBN-13: 978-3-540-76021-4

ISBN-10: 3-540-76021-0