@BOOK{ Book!D - 94548053,
AUTHOR = "Jean- Raymond Abrial, Egon Borger, Hans Langmaack, eds",
TITLE = "Formal methods for industrial applications :specifying and programming the steam boiler control",
LIBRARY= "کتابخانه مرکزی دانشگاه صنعتی شاهرود",
SUBJECT = "Automatic control Data processing ، Steam-boilers",
URL = "/book/94548053/Formal-methods-for-industrial-applications-specif/"}