Ett treff

steamboilers automatic control data processing
Formal methods for industrial applications : specifying and programming the steam boiler control
Jean-Raymond Abrial, Egon Börger, Hans La...
Bok Engelsk 1996 · Vis mer