Formal specification and synthesis of procedural controllers for process systems
- Författare
- Arturo Sánchez
- (Arturo Sanchez.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1996 | Storbritannien, London | xxiv,221p. ill. 24 cm | |
| Springer Berlin Heidelberg | 1996 | Utgivningsland okänt / Ej specificerat |