Jump to main content

yr 〜
yr

Search results 3

Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds. (Lecture notes in computer science ; 1165)

Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds. (Lecture notes in computer science ; 1165)
Paper図書
Springerc1996.<YU111-A197>
National Diet Library
  • Subject Headingボイラ. 自動制御. プログラミング (電子計算機) データ処理 (主題区分) Steam-boilers -- Automatic control -- Data processing.

Boiler control systems

Boiler control systems
Paper図書
David LindsleyMaGraw-Hill1991
Other Libraries in Japan
  • Subject HeadingSteam-boilers -- Automatic control
  • Subject Heading (ID)Steam-boilers -- Automatic control

Formal methods for industrial applications : specifying and programming the steam boiler control

Formal methods for industrial applications : specifying and programming the steam boiler control
Paper図書
Jean-Raymond Abrial, Egon Börger, Hans Langmaack, (eds.)Springerc1996
Other Libraries in Japan
  • Subject HeadingSteam-boilers -- Automatic control -- Data processing
  • Subject Heading (ID)Steam-boilers -- Automatic control -- Data processing

Reached to the end of result.

RSS