本文へ移動
図書

Runtime verification : third international conference, RV 2012 : Istanbul, Turkey, September 25-28, 2012 : revised selected papers. (Lecture Notes in Computer Science ; 7687)

図書を表すアイコン

Runtime verification : third international conference, RV 2012 : Istanbul, Turkey, September 25-28, 2012 : revised selected papers.

(Lecture Notes in Computer Science ; 7687)

国立国会図書館請求記号
M17-13-1624
国立国会図書館書誌ID
024261360
資料種別
図書
著者
RV 2012 (2012 : Istanbul, Turkey)ほか
出版者
Springer
出版年
c2013.
資料形態
ページ数・大きさ等
xi, 322 p. ; 24 cm.
NDC
-
詳細を見る

資料に関する注記

一般注記:

Abstracts and revised selected papers."The history of the RV conference series goes back to 2001 when it started as a workshop. It continued as an ann...

形態の詳細:

ill.

書店で探す

書誌情報

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

資料種別
図書
ISBN
9783642356322 (e-ISBN)
9783642356315
ISSN
16113349 (e-ISSN)
ISSN(シリーズ)
03029743
出版年月日等
c2013.
出版年(W3CDTF)
2013
数量
xi, 322 p.
形態の詳細
ill.
大きさ
24 cm.
その他のタイトル
Runtime verification : 3rd international conference, RV 2012 : Istanbul, Turkey, September 25-28, 2012 : revised selected papers.
Sep 2012, Istanbul, Turkey.
出版地(国名コード)
DE
本文の言語コード
eng
NDLC
対象利用者
一般
一般注記
Abstracts and revised selected papers.
"The history of the RV conference series goes back to 2001 when it started as a workshop. It continued as an annual workshop series until 2009 and became a conference starting in 2010." -- pref.
"The RV 2012 program consisted of a mix of tutorials, (...)" -- pref.
書誌注記
Includes bibliographical references and author index.
所蔵機関
国立国会図書館
請求記号
M17-13-1624
連携機関・データベース
国立国会図書館 : 国立国会図書館蔵書
書誌ID(NDLBibID)
024261360
目録規則
英米目録規則
整理区分コード
215