TY  - BOOK
AU  - Sanchez, Arturo,
TI  - Formal specification and synthesis of procedural controllers for process systems
SN  - 3540760210 (pbk. : alk. paper)
AV  - TJ213 .S1154 1996
U1  - 629.8/95421 20
PY  - 1996///
CY  - London, New York
PB  - Springer
KW  - Automatic control
KW  - Process control
KW  - საინჟინრო საქმე
KW  - ზოგადი მანქნათმშენებლობა
KW  - ელექტროტექნიკა
KW  - ზოგადი და მიმოხილვითი ხასიათის სამუშაოები
N1  - Includes bibliographical references: p. [207]-216 and index
ER  -