Coverart for item
The Resource Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings, Bengt Jonsson, Joachim Parrow, eds, (electronic resource)

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings, Bengt Jonsson, Joachim Parrow, eds, (electronic resource)

Label
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
Title
Formal techniques in real-time and fault-tolerant systems
Title remainder
4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
Statement of responsibility
Bengt Jonsson, Joachim Parrow, eds
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Dewey number
004/.33
LC call number
QA76.54
LC item number
.F657 1996
http://library.link/vocab/relatedWorkOrContributorDate
  • 1957-
  • 1956-
http://library.link/vocab/relatedWorkOrContributorName
  • Jonsson, Bengt
  • Parrow, Joachim
Series statement
Lecture notes in computer science,
Series volume
1135
http://library.link/vocab/subjectName
  • Real-time data processing
  • Fault-tolerant computing
Label
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings, Bengt Jonsson, Joachim Parrow, eds, (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000323243
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 478 pages
Isbn
9783540616481
Isbn Type
(softcover : alk. paper)
Lccn
96035763
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000323243
Label
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings, Bengt Jonsson, Joachim Parrow, eds, (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000323243
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 478 pages
Isbn
9783540616481
Isbn Type
(softcover : alk. paper)
Lccn
96035763
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000323243

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