目次あり
Boston, U.S.A. : Kluwer Academic Publishers, c1992-
雑誌| No. | 所在 | 請求記号 | 所蔵年 | 所蔵巻号 | 受入継続 |
|---|---|---|---|---|---|
|
1 |
|
1996-2002 |
8-21 |
|
|
|
2 |
電子ジャーナル |
Springer-LINK
|
-2014 |
|
|
|
3 |
|
1993-2002 |
2-15,16(1-2),21(2) |
|
| No. | 所在 | 請求記号 | 資料ID | 受入日 | 製本状態 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
4100717 |
2002/10/08 |
|
|
|
| No. | 所在 | 請求記号 | 資料ID | 受入日 | 製本状態 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
4100688 |
2002/07/01 |
|
|
|
|
|
2 |
|
|
2002/08/19 |
|
|
| No. | 所在 | 請求記号 | 資料ID | 受入日 | 製本状態 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
4100681 |
2002/06/25 |
|
|
|
| No. | 所在 | 請求記号 | 資料ID | 受入日 | 製本状態 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
4100650 |
2002/03/20 |
|
|
|
| No. | 所在 | 請求記号 | 資料ID | 受入日 | 製本状態 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
4100640 |
2002/02/12 |
|
|
|
Vol. 1, no. 1 (July 1992)-
v. : ill. ; 24 cm
Form. methods syst. des
Formal methods in system design
Some no. combined
英語 (eng)
英語 (eng)
09259856
AA11025734
CODEN : FMSDE6
LCCN : 93648953
