TY - GEN
AU - Abrial, Jean-Raymond
TI - Formal methods for industrial applications specifying and programming the steam boiler control
PB - Springer
SN - 9783540495666
KW - Computer science
KW - Computer Communication Networks
KW - Logic design
KW - Software engineering
KW - Machinery.
KW - Business.
KW - Management science.
KW - Computer programming.
KW - Compilers (Computer programs).
KW - Programming Techniques
KW - Computer Science
KW - Logics and Meanings of Programs
KW - Programming Languages, Compilers, Interpreters
KW - Systems and Information Theory in Engineering
KW - Software Engineering
KW - Konferenzschrift 1995 Dagstuhl
KW - Dampferzeuger
KW - Formale Spezifikationstechnik
KW - Formale Methode
PY - 1996
N2 - Literaturangaben
BT - Lecture notes in computer science ; 1165
CY - Berlin [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation