＜電子ブック＞
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceeding
| 出版者 | : Springer International Publishing |
|---|---|
| 出版年 | 2019 |
| 著者標目 | Vojnar, Tomáš |
| 件 名 | HILCC:Computer Science |
所蔵情報を非表示
| 電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 電子ブック | オンライン | 電子ブック |
|
DOAB: Directory of Open Access Books |
|
|
電子リソース |
|
SEB1355218 |
書誌詳細を非表示
| データ種別 | 電子ブック |
|---|---|
| 書誌ID | 4000391455 |