本文に飛ぶ

図書

FME 2001: formal methods for increasing software productivity : international symposium of formal methods Europe : Berlin, Germany, March 12-16, 2001 : proceedings. : Mar 2001, Berlin, Germany. (Lecture Notes in Computer Science ; 2021)

図書を表すアイコン

FME 2001: formal methods for increasing software productivity : international symposium of formal methods Europe : Berlin, Germany, March 12-16, 2001 : proceedings. : Mar 2001, Berlin, Germany.

(Lecture Notes in Computer Science ; 2021)

国立国会図書館請求記号
M17-03-4730
国立国会図書館書誌ID
000004246504
資料種別
図書
著者
Humboldt-Universität zu Berlin.ほか
出版者
Springer
出版年
2001.
資料形態
紙
ページ数・大きさ等
xiii, 628 p. : ill. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記：

Papers and abstracts."FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME) , ..." -- preface.

書店で探す

書店で探す

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
図書
ISBN
3540417915 (softcover : alk. paper)
ISSN（シリーズ）
0302-9743
タイトル
FME 2001: formal methods for increasing software productivity : international symposium of formal methods Europe : Berlin, Germany, March 12-16, 2001 : proceedings. : Mar 2001, Berlin, Germany.
シリーズタイトル
Lecture Notes in Computer Science ; 2021
著者標目
Humboldt-Universität zu Berlin.
Oliveira, José N.
Zave, Pamela, 1948-
International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany)
出版事項
New York : Springer
出版年月日等
2001.
出版年（W3CDTF）
2001
数量
xiii, 628 p. : ill. ; 24 cm.