Coverart for item
The Resource Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings, J. Vytopil (ed.), (electronic resource)

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings, J. Vytopil (ed.), (electronic resource)

Label
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
Title
Formal techniques in real-time and fault-tolerant systems
Title remainder
second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
Statement of responsibility
J. Vytopil (ed.)
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Dewey number
004/.33
LC call number
QA76.54
LC item number
.F66 1991
http://library.link/vocab/relatedWorkOrContributorDate
1947-
http://library.link/vocab/relatedWorkOrContributorName
Vytopil, J.
Series statement
Lecture notes in computer science
Series volume
571
http://library.link/vocab/subjectName
  • Real-time data processing
  • Fault-tolerant computing
Label
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings, J. Vytopil (ed.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Control code
OCM1bookssj0000323242
Dimensions
25 cm.
Dimensions
unknown
Extent
ix, 620 pages
Isbn
9780387550923
Isbn Type
(New York : acid-free paper)
Lccn
91043620
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000323242
Label
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings, J. Vytopil (ed.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references
Control code
OCM1bookssj0000323242
Dimensions
25 cm.
Dimensions
unknown
Extent
ix, 620 pages
Isbn
9780387550923
Isbn Type
(New York : acid-free paper)
Lccn
91043620
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000323242

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 ...