Rigorous development of complex fault-tolerant systems
Michael Butler ... [et al.] (eds.)
Bok Engelsk 2006
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | X, 402 s. : ill.
|
| Opplysninger | "This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005" - 4. omslagsside. - På omslaget: State-of-the-art survey
|
| Emner | |
| ISBN | 3540482652. - 9783540482659
|
