Mendeley出力
＜電子ブック＞
FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
| 責任表示 | |
|---|---|
| 著者 | |
| 本文言語 | |
| 出版者 | |
| 出版年 | |
| 出版地 | |
| 冊子版へのリンク | https://hdl.handle.net/2324/1001016022 |
| 本文を見る | Springer Lecture Notes in Computer Science eBooks: 1997 |
詳細
| レコードID | |
|---|---|
| 刊行頻度 | |
| データベース タイトル | |
| 主題 | |
| 管理番号 | |
| eISBN | |
| XISBN | |
| 登録日 | 2023.09.29 |
| 更新日 | 2023.09.29 |