本文へ移動
図書

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings. (Lecture Notes in Computer Science ; 8244)

図書を表すアイコン

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings.

(Lecture Notes in Computer Science ; 8244)

国立国会図書館請求記号
M17-14-1312
国立国会図書館書誌ID
025070171
資料種別
図書
著者
International Haifa Verification Conference (9th : 2013 : Haifa, Israel)ほか
出版者
Springer
出版年
c2013.
資料形態
ページ数・大きさ等
xix, 366 p. ; 24 cm.
NDC
-
詳細を見る

資料に関する注記

一般注記:

Abstracts and papers."It was the ninth event in this series of annual conferences (...)" -- pref.

形態の詳細:

ill.

書店で探す

書誌情報

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

資料種別
図書
ISBN
9783319030777 (e-ISBN)
9783319030760
ISSN
16113349 (e-ISSN)
ISSN(シリーズ)
03029743
出版年月日等
c2013.
出版年(W3CDTF)
2013
数量
xix, 366 p.
形態の詳細
ill.
大きさ
24 cm.
その他のタイトル
Nov 2013, Haifa, Israel.
出版地(国名コード)
DE
本文の言語コード
eng
NDLC
対象利用者
一般
一般注記
Abstracts and papers.
"It was the ninth event in this series of annual conferences (...)" -- pref.
書誌注記
Includes bibliographical references and author index.
所蔵機関
国立国会図書館
請求記号
M17-14-1312
連携機関・データベース
国立国会図書館 : 国立国会図書館蔵書
書誌ID(NDLBibID)
025070171
目録規則
英米目録規則
整理区分コード
215