<電子ブック>
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
責任表示 | |
---|---|
著者 | |
本文言語 | |
出版者 | |
出版年 | |
出版地 | |
冊子版へのリンク | https://hdl.handle.net/2324/1000960528 |
本文を見る | Springer Lecture Notes in Computer Science eBooks: 1998 |
詳細
レコードID | |
---|---|
データベース タイトル | |
主題 | |
管理番号 | |
eISBN | |
XISBN | |
登録日 | 2023.09.29 |
更新日 | 2023.09.29 |