| |
|---|
| Utgitt
| Berlin : Springer , c2006
|
|---|
| Omfang
| |
|---|
| 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
|
|---|
