Rigorous development of complex fault-tolerant systems
Rigorous development of complex fault-tolerant systems
-
- Berlin Springer 2006
- x,403 p. 23.5 cm
- Lecture notes in computer science ; v. 4157 .
978-3-540-48265-9
Computer Science and Engineering
Fault-tolerant computing-Congresses , Computer software-Reliability-Congresses , Electronic digital computers -Reliability-Congresses ,Formal methods(Computer science)-Congresses
681.3.06:519.28Rig
978-3-540-48265-9
Computer Science and Engineering
Fault-tolerant computing-Congresses , Computer software-Reliability-Congresses , Electronic digital computers -Reliability-Congresses ,Formal methods(Computer science)-Congresses
681.3.06:519.28Rig