@misc
{TN_libero_mab2,
author = {
Abrial, Jean-Raymond
},
title = {
Formal methods for industrial applications
specifying and programming the steam boiler control
},
publisher = {Springer},
isbn = {9783540495666},
keywords = {
Computer science
,
Computer Communication Networks
,
Logic design
,
Software engineering
,
Machinery.
,
Business.
,
Management science.
,
Computer programming.
,
Compilers (Computer programs).
,
Programming Techniques
,
Computer Science
,
Logics and Meanings of Programs
,
Programming Languages, Compilers, Interpreters
,
Systems and Information Theory in Engineering
,
Software Engineering
,
Konferenzschrift 1995 Dagstuhl
,
Dampferzeuger
,
Formale Spezifikationstechnik
,
Formale Methode
},
year = {1996},
abstract = {Literaturangaben},
booktitle = {Lecture notes in computer science ; 1165},
address = {
Berlin [u.a.]
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}