/LC.GIF&client=easterncarolinaedu)
Methods, models and tools for fault tolerance / Michael Butler ... [et al.] (eds.).
| Other author | Butler, Michael, 1967- |
| Other author | Workshop on Methods, Models and Tools for Fault Tolerance (2007 : Oxford, England) |
| Other author | International Conference on Integrated Formal Methods 2007 : Oxford, England) |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, |
| Description | viii, 341 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2009 English International |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Series | Lecture notes in computer science, 0302-9743 ; 5454 State-of-the-art survey Lecture notes in computer science ; 5454. 0302-9743 ^A466336 Lecture notes in computer science. State-of-the-art survey. ^A1217921 |
| General note | "This book is an outcome of the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjuction with the 6th international conferences on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007"--Cover. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2009935267 |
| ISBN | 9783642008665 (pbk.) |
| ISBN | 3642008666 (pbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |