Formal methods in system design : an international journal, Vol.21 No.3, 2002年11月

Formal methods in system design : an international journal, Vol.21 No.3, 2002年11月

目次あり

Boston, U.S.A. : Kluwer Academic Publishers, c1992-

雑誌巻号

この資料には他にも巻号があります。

他の巻号を見る

巻号情報

Vol.21 No.3 2002年11月
No. 所在 請求記号 資料ID 受入日 製本状態 状況 予約人数

1

4100717

2002/10/08

詳細情報

創刊・終刊

Vol. 1, no. 1 (July 1992)-

形態

v. : ill. ; 24 cm

別誌名

Form. methods syst. des

Formal methods in system design

注記

Some no. combined

標題言語

英語 (eng)

本文言語

英語 (eng)

ISSN

09259856

NCID

AA11025734

番号

CODEN : FMSDE6

LCCN : 93648953