<図書>

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

(Lecture notes in computer science;571)

所蔵情報を非表示

1

本郷キャンパス

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

6118/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1991
大きさ ix, 620 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Vytopil, J., 1947-
件 名 LCSH:Real-time data processing -- Congresses
LCSH:Fault-tolerant computing -- Congresses
分 類 LCC:QA76.54
DC20:004/.33
本文言語 英語
書誌ID 2000215610
ISBN 3540550925
NCID BA13459110 WCLINK

類似資料

  1. 1 Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow (eds.)
  2. 2 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.)
  3. 3 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.)
  4. 4 Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings / Mathai Joseph (ed.)
  5. 5 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.)
  6. 6 Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph (ed.)
  7. 7 Real time computing / edited by Wolfgang A. Halang and Alexander D. Stoyenko
  8. 8 Foundations of real-time computing : formal specifications and methods / edited by Andre M. van Tilborg, Gary M. Koob
  9. 9 Synchronization in real-time systems : a priority inheritance approach / by Ragunathan Rajkumar
  10. 10 Foundations of real-time computing : scheduling and resource management / edited by André M. van Tilborg, Gary M. Koob

ページトップ