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

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

目次あり

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

雑誌巻号

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

他の巻号を見る

巻号情報

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

1

4100681

2002/06/25

詳細情報

創刊・終刊

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