UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KBR (1)

UCLouvain (1)

ULB (1)

ULiège (1)

VUB (1)

Resource type

book (1)

Language

English (1)

Year

From To

1996 (1)

Listing 1 - 1 of 1
Sort by

Formal methods for industrial applications. Specifying and programming the steam boiler control
Authors: ABRIAL, Jean-Raymond --- BOERGER, E. --- LANGMAACK, Hans
ISBN: 9783540619291 3540619291 Year: 1996 Volume: 1165 Publisher: Tokyo : Springer-Verlag,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Steam-boilers - Automatic control - Data processing. --- Steam-boilers --- Automatic control --- Data processing.

Listing 1 - 1 of 1
Sort by