• RecordNumber
    10822
  • LC Class
    QA
  • LC Number
    76.54
  • LC CutterNumber
    .F66
  • Dewey Class
    004
  • Dewey Date
    /.33
  • Title

    Formal techniques in real-time and fault-tolerant systems

  • Author Statement
    edited by Jan Vytopil
  • Publication
    Springer- Verlag
  • Collation
    ix, 620 p.: ill.; 25 cm
  • Series
    Lecture notes in computer science ; 571
  • Subject

    Real-time data processing-- Congresses,Fault-tolerant computing-- Congresses

  • ADDED ENTRIES
    Vytopil, J. (Jan), 1947-
  • Holding Info.
    3540550925
  • DocumentNumber
    20909
  • SubTitle
    : second international symposium Nijemegen, the Netherlands, January 8-10, 1992, porcedings
  • Biblography
    Includes bibliographical references and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=10822&Field=0&DTC=100