The Resource Rigorous development of complex fault-tolerant systems, Michael Butler ... [et al.] (eds.)

Rigorous development of complex fault-tolerant systems, Michael Butler ... [et al.] (eds.)

Label
Rigorous development of complex fault-tolerant systems
Title
Rigorous development of complex fault-tolerant systems
Statement of responsibility
Michael Butler ... [et al.] (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
OHX
Dewey number
004.2
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F38
LC item number
W67 2006
Literary form
non fiction
Nature of contents
bibliography
Series statement
  • Lecture notes in computer science,
  • State-of-the-art survey
Series volume
4157..
Label
Rigorous development of complex fault-tolerant systems, Michael Butler ... [et al.] (eds.)
Publication
Note
"Workshop on Rigorous Engineering of Fault-tolerant Systems, REFT 2005, was held in conjunction with the Formal Methods 2005 conference at Newcastle University"--Pref
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/branchCode
  • net
Control code
000041322955
Dimensions
24 cm
Extent
x, 402 p.
Isbn
9783540482659
Lccn
2006936100
Other physical details
ill.
http://library.link/vocab/recordID
.b22786296
System control number
lncs41322955

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...