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

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

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
LC call number
QA76.9.F38
LC item number
W67 2006
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
Workshop on Rigorous Engineering of Fault-tolerant Systems
http://library.link/vocab/relatedWorkOrContributorDate
1967-
http://library.link/vocab/relatedWorkOrContributorName
Butler, Michael
Series statement
  • Lecture notes in computer science,
  • State-of-the-art survey
Series volume
4157.
http://library.link/vocab/subjectName
  • Fault-tolerant computing
  • Computer software
  • Electronic digital computers
  • Formal methods (Computer science)
Label
Rigorous development of complex fault-tolerant systems, Michael Butler ... [et al.] (eds.), (electronic resource)
Instantiates
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
Control code
OCM1bookssj0000319850
Dimensions
unknown
Isbn
9783540482659
Isbn Type
(pbk.)
Lccn
2006936100
Specific material designation
remote
System control number
(WaSeSS)bookssj0000319850
Label
Rigorous development of complex fault-tolerant systems, Michael Butler ... [et al.] (eds.), (electronic resource)
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
Control code
OCM1bookssj0000319850
Dimensions
unknown
Isbn
9783540482659
Isbn Type
(pbk.)
Lccn
2006936100
Specific material designation
remote
System control number
(WaSeSS)bookssj0000319850

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...