図書

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)

図書を表すアイコン

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark.

(Lecture Notes in Computer Science ; 2391)

国立国会図書館請求記号
M17-03-105
国立国会図書館書誌ID
000003996964
資料種別
図書
著者
Formal Methods Europe.ほか
出版者
Springer
出版年
2002.
資料形態
ページ数・大きさ等
xi, 624 p. : ill. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

Papers.Related URL: http: //link.springer-ny.com/link/service/series/0558/tocs/t2391.htm.Held as part of the 2002 Federated Logic Conference (FLoC 200...

書店で探す

書誌情報

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

資料種別
図書
ISBN
3540439285 (softcover : alk. paper)
ISSN(シリーズ)
0302-9743
出版年月日等
2002.
出版年(W3CDTF)
2002
数量
xi, 624 p. : ill. ; 24 cm.