TY  - BOOK
AU  - Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
TI  - Rigorous Development of Complex Fault-Tolerant Systems
SN  - 978-3-540-48267-3
PY  - 2006///
CY  - New York
PB  - Springer US
KW  - Computer Communication Networks; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Operating Systems; Artificial Intelligence (incl. Robotics)
KW  - Computer Science
ER  -