000			01454nam a22003497a 4500
999			_c531945 _d531943
001			3051059
003			Ge_NSL
005			20200611125053.0
008			200611s1996 gb ||||| |||| 00| 0 eng d
010			_a 96006757
020			_a3540760210 (pbk. : alk. paper)
040			_aDLC _cDLC _dDLC
041			_aeng
050	0	0	_aTJ213 _b.S1154 1996
080			_a621.391
082	0	0	_a629.8/95421 _220
100			_aSanchez, Arturo, _d1963- _93286
245	1	0	_aFormal specification and synthesis of procedural controllers for process systems / _cArturo Sanchez.
260			_aLondon ; _aNew York : _bSpringer, _cc1996.
300			_axxiv, 221 p. : _bill. ; _c24 cm.
440			_aLecture notes in control and information sciences ; _v212 _93287
504			_aIncludes bibliographical references: p. [207]-216 and index.
650		0	_aAutomatic control. _9161866
650		0	_aProcess control. _9161867
653			_aსაინჟინრო საქმე
653			_aზოგადი მანქნათმშენებლობა
653			_aელექტროტექნიკა
653			_aზოგადი და მიმოხილვითი ხასიათის სამუშაოები
906			_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg
942			_2udc _cBK