WebOPAC Local書誌詳細

ログイン

書誌詳細

愛知工業大学附属図書館

検索結果一覧へ戻る

	Formal methods in system design : an international journal Vol. 1, no. 1 (July 1992)-. -- Kluwer Academic Publishers, 1992. <EJ00169524> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

Formal methods in system design : an international journal Vol. 1, no. 1 (July 1992)-. -- Kluwer Academic Publishers, 1992. <EJ00169524> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

一括所蔵一覧 1件～1件（全1件）

巻号をクリックすると所蔵詳細をみることができます。

No.	配置場所	請求記号	巻号	年月次	購読状況	表示用メモ
0001	手動集密書架		34-35	2009-2009		電子版は上部メニュー「電子ジャーナル・ブック」より閲覧可能です


No.	0001
配置場所	手動集密書架
請求記号
巻号	34-35
年月次	2009-2009
購読状況
表示用メモ	電子版は上部メニュー「電子ジャーナル・ブック」より閲覧可能です

このページのTOPへ

書誌詳細

標題および責任表示	Formal methods in system design : an international journal
巻次・年月次	Vol. 1, no. 1 (July 1992)-
出版・頒布事項	Boston, U.S.A. : Kluwer Academic Publishers , c1992-
形態事項	v. : ill. ; 24 cm
その他の標題	略タイトル(雑誌書誌レコード):Form. methods syst. des
その他の標題	キータイトル(雑誌書誌レコード):Formal methods in system design
注記	Some no. combined
学情ID	AA11025734
本文言語コード	英語
刊行頻度コード	隔月刊
ISSN	09259856
件名標目等	System design -- Periodicals

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ