Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] /
edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 4157 0302-9743 ; .
9783540482673
Computer science Computer Communication Networks Software engineering Operating systems (Computers) Artificial intelligence Computer Science Computer Communication Networks Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Artificial Intelligence (incl. Robotics)