Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

書誌事項

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

M. Joseph (ed.)

(Lecture notes in computer science, 331)

Springer-Verlag, c1988

  • : gw
  • : us

大学図書館所蔵 件 / 53

この図書・雑誌をさがす

注記

Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick

Includes bibliographical references

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ