Book serie: / Книги серии: Lecture Notes in Computer Science 1165 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 1165

book Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

djvu

Author: Jean-Raymond Abrial Egon Börger (auth.) Jean-Raymond Abrial Egon Börger Hans Langmaack (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0