分享给好友:
Dependable Computing - Edcc-1: First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings - Lecture Notes in Computer Science Klaus Echtle
Dependable Computing - Edcc-1: First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings - Lecture Notes in Computer Science
Klaus Echtle
Reflecting the state-of-the-art in dependable systems research and advanced applications, this volume of conference proceedings covers such topics as reliability, safety-critical systems, fault detection, hardware and software testing, formal methods, verification and validation.
625 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1994年9月21日 |
| ISBN13 | 9783540584261 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 625 |
| 商品尺寸 | 155 × 233 × 33 mm · 893 g |
| 语言 | 德语 |
| 编辑 | Echtle, Klaus |
| 编辑 | Hammer, Darrell P. |
| 编辑 | Powell, David |