<図書>

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)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 gw 39:L:1.331 2012177073

4618/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1988
大きさ vi, 229 p. : ill. ; 25 cm
一般注記 Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick
Includes bibliographical references
著者標目 Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988 : Warwick, England)
Joseph, Mathai, 1943-
件 名 LCSH:Real-time data processing -- Congresses
LCSH:Fault-tolerant computing -- Congresses
分 類 LCC:QA76.54
DC19:004/.33
本文言語 英語
書誌ID 2000073595
ISBN 3540503021
NCID BA04431642 WCLINK

類似資料

  1. 1 Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings / J. Vytopil (ed.)
  2. 2 Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow (eds.)
  3. 3 Formal techniques in real-time and fault-tolerant systems : Third International Symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.)
  4. 4 Formal techniques in real-time and fault-tolerant systems : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 : proceedings / Anders P. Ravn, Hans Rischel (eds.)
  5. 5 Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings / Mathai Joseph (ed.)
  6. 6 Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings / Werner Damm, Ernst-Rüdiger Olderog (eds.)
  7. 7 Proceedings Real-Time Systems Symposium, December 6-8, 1988, Huntsville, Alabama / sponsor, IEEE Computer Society TC Real-Time Systems
  8. 8 RTSS 2002 : 23rd IEEE Real-Time Systems Symposium, 3-5 December 2002, Austin, Texas / sponsored by IEEE Computer Society Technical Committee on Real-Time Systems
  9. 9 Proceedings : 16th IEEE Real-Time Systems Symposium, December 5-7, 1995, Pisa, Italy / sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
  10. 10 Proceedings : Real-time Systems Symposium, San Juan, Puerto Rico, December 7-9, 1994 / sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems

検索結果一覧に戻る ページトップ