Ett treff

Dewey-nr: 621.1/83
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