Sanchez, Arturo,  1963- <br/><br/>
Formal specification and synthesis of procedural controllers for process systems / 
Arturo Sanchez. 
 -  Springer,  c1996. 
 - xxiv, 221 p. :  ill. ;  24 cm. 
 - Lecture notes in control and information sciences ;  212 .
<br/><br/>Includes bibliographical references: p. [207]-216 and index. 
<br/><br/><label>ISBN: </label>3540760210 (pbk. : alk. paper) 
<br/><br/><label>LCCN: </label>96006757  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic control.<br/>Process control.
<br/><br/><label>Subjects--Index Terms: </label>საინჟინრო საქმე  ზოგადი მანქნათმშენებლობა  ელექტროტექნიკა ზოგადი და მიმოხილვითი ხასიათის სამუშაოები 
<br/><br/><label>LC Class. No.: </label>TJ213  / .S1154 1996 
<br/><br/><label>Dewey Class. No.: </label>629.8/95421 
<br/><br/><label>Universal Decimal Class. No.: </label>621.391