TY - BOOK
AU - Abrial, Jean-Raymond
TI - Formal methods for industrial applications specifying and programming the steam boiler control
PB - Springer
SN - 3540619291
KW - Software engineering
KW - Steam-boilers Automatic control Data processing
KW - Konferenzschrift 1995 Dagstuhl
KW - Dampferzeuger
KW - Formale Spezifikationstechnik
KW - Formale Methode
PY - 1996
N2 - CD-ROM mit dem Gesamtt.: Springer electronic media
BT - Lecture notes in computer science ; 1165
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation