※一部利用できない機能があります
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.)
- 言語:
- 英語
- 出版情報:
- Berlin ; Tokyo : Springer, c2002
- 形態:
- x, 453 p. : ill. ; 24 cm
- 著者名:
- シリーズ名:
- Lecture notes in computer science ; 2469 <BA00009279>
- 書誌ID:
- BA58768617
- ISBN:
- 9783540441656 [3540441654]
類似資料:
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
Springer Berlin Heidelberg | |
Springer Berlin Heidelberg |
Springer Berlin / Heidelberg |
Springer Berlin Heidelberg |
Academic Press |
Springer Berlin Heidelberg | |
Springer Berlin Heidelberg |