本文へ移動
図書

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings. (Lecture Notes in Computer Science ; 2937)

図書を表すアイコン

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings.

(Lecture Notes in Computer Science ; 2937)

国立国会図書館請求記号
M17-04-2460
国立国会図書館書誌ID
000007346758
資料種別
図書
著者
Steffen, Bernhard.ほか
出版者
Springer-Verlag
出版年
c2004.
資料形態
ページ数・大きさ等
xi, 324 p. : ill. ; 24 cm.
NDC
-
詳細を見る

資料に関する注記

一般注記:

Papers and abstracts.Held in conjunction with POPL 2004, the 31st annual symposium on principles of programming languages, January 14-16, 2004.

書店で探す

書誌情報

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

資料種別
図書
ISBN
3540208038 (alk. paper)
ISSN(シリーズ)
0302-9743
出版年月日等
c2004.
出版年(W3CDTF)
2004
数量
xi, 324 p. : ill. ; 24 cm.
その他のタイトル
Jan 2004, Venice, Italy.
出版地(国名コード)
DE
本文の言語コード
eng
LCC
NDLC
一般注記
Papers and abstracts.
Held in conjunction with POPL 2004, the 31st annual symposium on principles of programming languages, January 14-16, 2004.
書誌注記
Includes bibliographical references and author index.
所蔵機関
国立国会図書館
請求記号
M17-04-2460
連携機関・データベース
国立国会図書館 : 国立国会図書館蔵書
書誌ID(NDLBibID)
000007346758
RLIN番号
PATGB27028926-B
整理区分コード
215