Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)
Computers , ProgrammingFormal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
Free Download
Showing the single result
Filter