|
|
Modeling in event-b : system and software engineering
Jean-Raymond Abrial. -- Cambridge University Press, 2010.
<BB10059297>
|
|
|
Modeling in event-b : system and software engineering
Jean-Raymond Abrial. -- Cambridge University Press, 2010.
<BB10059297>
|
所蔵一覧
1件～10件（全11件）
|
|
| No. |
0001 |
| 巻号 |
|
| 所蔵館 |
本部 |
| 配置場所 |
2階一般図書
|
| 請求記号 |
007.6/A14
|
| 資料ID |
11118632764 |
| 状態 |
|
| 返却予定日 |
|
| 予約 |
0件
|
|
|
| No. |
0002 |
| 巻号 |
|
| 所蔵館 |
北海道 |
| 配置場所 |
北海道一般書
|
| 請求記号 |
007.6/A14
|
| 資料ID |
11118632770 |
| 状態 |
禁帯出 |
| 返却予定日 |
|
| 予約 |
0件
|
|
|
| No. |
0003 |
| 巻号 |
|
| 所蔵館 |
宮城 |
| 配置場所 |
宮城一般書
|
| 請求記号 |
007.6/A14
|
| 資料ID |
11118632787 |
| 状態 |
禁帯出 |
| 返却予定日 |
|
| 予約 |
0件
|
|
|
| No. |
0004 |
| 巻号 |
|
| 所蔵館 |
群馬 |
| 配置場所 |
群馬一般書
|
| 請求記号 |
007.6/A14
|
| 資料ID |
11118632793 |
| 状態 |
|
| 返却予定日 |
|
| 予約 |
0件
|
|
|
| No. |
0005 |
| 巻号 |
|
| 所蔵館 |
埼玉 |
| 配置場所 |
埼玉一般書
|
| 請求記号 |
007.6/A14
|
| 資料ID |
11118632801 |
| 状態 |
禁帯出 |
| 返却予定日 |
|
| 予約 |
0件
|
|
|
| No. |
0006 |
| 巻号 |
|
| 所蔵館 |
神奈川 |
| 配置場所 |
神奈川一般書
|
| 請求記号 |
007.6/A14
|
| 資料ID |
11118632853 |
| 状態 |
禁帯出 |
| 返却予定日 |
|
| 予約 |
0件
|
|
|
| No. |
0007 |
| 巻号 |
|
| 所蔵館 |
東京文京 |
| 配置場所 |
文京一般書
|
| 請求記号 |
007.6/A14
|
| 資料ID |
11118632824 |
| 状態 |
禁帯出 |
| 返却予定日 |
|
| 予約 |
0件
|
|
|
| No. |
0008 |
| 巻号 |
|
| 所蔵館 |
東京足立 |
| 配置場所 |
足立一般書
|
| 請求記号 |
007.6/A14
|
| 資料ID |
11118632830 |
| 状態 |
禁帯出 |
| 返却予定日 |
|
| 予約 |
0件
|
|
|
| No. |
0009 |
| 巻号 |
|
| 所蔵館 |
京都 |
| 配置場所 |
京都一般書
|
| 請求記号 |
007.6/A14
|
| 資料ID |
11118632876 |
| 状態 |
禁帯出 |
| 返却予定日 |
|
| 予約 |
0件
|
|
|
| No. |
0010 |
| 巻号 |
|
| 所蔵館 |
大阪 |
| 配置場所 |
大阪一般書
|
| 請求記号 |
007.6/A14
|
| 資料ID |
11118632882 |
| 状態 |
禁帯出 |
| 返却予定日 |
|
| 予約 |
0件
|
目録検索 ▼
利用状況照会・申込▼
