図書

Hardware and software, verification and testing : second international Haifa verification conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers. : Oct 2006, Haifa, Israel. (Lecture Notes in Computer Science ; 4383)

図書を表すアイコン

Hardware and software, verification and testing : second international Haifa verification conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers. : Oct 2006, Haifa, Israel.

(Lecture Notes in Computer Science ; 4383)

国立国会図書館請求記号
M17-07-1191
国立国会図書館書誌ID
000008559357
資料種別
図書
著者
Bin, Eyal.ほか
出版者
Springer
出版年
c2007.
資料形態
ページ数・大きさ等
xii, 234 p. : ill. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

Revised selected papers.

書店で探す

書誌情報

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

資料種別
図書
ISBN
9783540708889 (ISBN-13 : soft cover : alk. paper)
354070888X (soft cover : alk. paper)
ISSN(シリーズ)
0302-9743
出版年月日等
c2007.
出版年(W3CDTF)
2007
数量
xii, 234 p. : ill. ; 24 cm.