Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Itary, January 11-13, 2004 : proceedings

Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Itary, January 11-13, 2004 : proceedings

Bernhard Steffen, Giorgia Levi (eds.)

Berlin ; Tokyo : Springer, c2004

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況（返却予定日） コレクション 備考 予約・取り寄せ人数

1
007.08-L49-2937

10003311723

一般図書

詳細情報

刊年

2004

形態

xi, 324 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2937

注記

Includes bibliographies and index

出版国

ドイツ＝ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

VMCAI [ International Conference, Verification, Model Checking, and Abstract Interpretation ]

Steffen, Bernhard

Levi, Giorgia

ISBN

3540208038

NCID

BA6544342X

メールで送信

宛先

件名

ブックマークに登録

リストを選択

指定なし

メモ

ブックマークを編集

リストを選択

メモ

リストを選択