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.
Berlin ; New York : Springer-Verlag , c1988.
vi, 229 p. : ill. ; 25 cm.




  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1U.S.0中央５階洋
  • 007.1
  • L 49
  • 331
00512270 利用可
一般 

選択行を：  

書誌詳細
刊年1988
形態vi, 229 p. : ill. ; 25 cm.
シリーズ名Lecture notes in computer science ; 331
注記Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick.
Includes bibliographies.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Joseph, M.
Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988 : Warwick, England)
分類LCC:QA76.54
DC19:004/.33
ISBN0387503021(U.S.)
件名LCSH:Real-timedataprocessing -- Congresses.
LCSH:Fault-tolerantcomputing -- Congresses.
番号LCCN : 88029465

   
▲ページトップへ