図書

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

図書を表すアイコン

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

(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.