Formal Specification and Synthesis of Procedural Controllers for Process Systems (Lecture Notes in Control and Information Sciences, Vol 212)
by
Arturo Sanchez
Paperback
details (
USA
).
ISBN: 978-0-387-76021-6
ISBN-10: 0-387-76021-0
Springer-Verlag
· 1996
See also:
1996
Taschenbuch
Formal Specification and Synthesis of Procedural Controllers for Process Systems (Lecture Notes in Control and Information Sciences)