Rigorous Development of Complex Fault-Tolerant Systems

Full text!
Format:
e-book
Title:
Rigorous Development of Complex Fault-Tolerant Systems
Author:
Butler, Michael; Jones, Cliff B.; Kanade, Takeo; Romanovsky, Alexander; Troubitsyna, Elena; Jones, Cliff
Language:
English
Publisher:
Springer Berlin Heidelberg 2006
ISBN:
3-540-48265-2
3-540-48267-9
Subject:
Information Technology Computer Science (Hardware & Networks)
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000283990?locale=en