<図書>

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

(Lecture notes in computer science;863)

所蔵情報を非表示

1

本郷キャンパス

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

7212/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1994
大きさ xiv, 787 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 *Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (3rd : 1994 : Lübeck, Germany)
Langmaack, Hans
Roever, W.-P. de, 1943-
Vytopil, J., 1947-
Working Group Provably Correct Systems
件 名 LCSH:Real-time data processing -- Congresses
LCSH:Fault-tolerant computing -- Congresses
分 類 LCC:QA76.54
DC20:004/.33
本文言語 英語
書誌ID 2000353358
ISBN 3540584684
NCID BA2347089X 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 : 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

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