| NCID | BA04431642 |
| タイトル | Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph (ed.) |
| 出版者 | 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 |
| シリーズ名 | Lecture notes in computer science ; 331
|
| 分類 | LCC:QA76.54
DC19:004/.33 |
| 件名 | LCSH:Real-timedataprocessing -- Congresses
LCSH:Fault-tolerantcomputing -- Congresses
|
| 著者情報 | Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Joseph, Mathai, 1943-
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | ドイツ = ドイツ連邦共和国 |
| ISBN | 3540503021(: gw)
0387503021(: us)
|
| 番号 | LCCN : 88029465 |