図書

Hardware and software: verification and testing : 8th international Haifa verification conference, HVC 2012 : Haifa, Israel, November 6-8, 2012 : revised selected papers : Nov 2012, Haifa, Israel. (Lecture Notes in Computer Science ; 7857)

図書を表すアイコン

Hardware and software: verification and testing : 8th international Haifa verification conference, HVC 2012 : Haifa, Israel, November 6-8, 2012 : revised selected papers : Nov 2012, Haifa, Israel.

(Lecture Notes in Computer Science ; 7857)

国立国会図書館請求記号
M17-14-543
国立国会図書館書誌ID
024794224
資料種別
図書
著者
International Haifa Verification Conference (8th : 2012 : Haifa, Israel)ほか
出版者
Springer
出版年
c2013.
資料形態
ページ数・大きさ等
xi, 279 p. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

Abstracts and revised selected papers."It was the eighth event in this seiries of annual conferences (...)" -- pref."The conference itself started wit...

形態の詳細:

ill.

資料詳細

要約等:

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in N...

書店で探す

書誌情報

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

資料種別
図書
ISBN
9783642396113 (e-ISBN)
9783642396106
ISSN
16113349 (e-ISSN)
ISSN(シリーズ)
03029743
出版年月日等
c2013.