※一部利用できない機能があります
FM’99 — Formal Methods
- フォーマット:
- 電子ブック
- 責任表示:
- World Congress on Formal Methods in the Development of Computing Systems ; Davies, Jim ; Wing, Jeannette Marie ; Woodcock, Jim
- 言語:
- 英語
- 出版情報:
- Springer Berlin Heidelberg, 1999
- 著者名:
- ISBN:
- 9783540665885 [3540665889]
9783540481188 [3540481184]
類似資料:
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
|
Springer Berlin Heidelberg |
Hybrid |
|
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
|
Springer Berlin / Heidelberg |
Edward Arnold |
|
River Publishers |
