Runtime verification : first international conference, RV 2010 : St. Julians, Malta, November 1-4, 2010 : proceedings. : runtime verification events : Nov 2010, St. Julians, Malta. (Lecture Notes in Computer Science ; 6418)

Runtime verification : first international conference, RV 2010 : St. Julians, Malta, November 1-4, 2010 : proceedings. : runtime verification events : Nov 2010, St. Julians, Malta.

(Lecture Notes in Computer Science ; 6418)

国立国会図書館請求記号: M17-11-703
国立国会図書館書誌ID: 000011054625

資料種別: 図書

著者: -

出版者: Springer

出版年: c2010.

資料形態: 紙

ページ数・大きさ等: xiii, 492 p. : ill. (some col.) ; 24 cm.

NDC: -

すべて見る

資料に関する注記

一般注記：: Papers and an abstract."The conference program included (...) tutorials, and tool demonstrations." -- pref."Runtime Verification events started with a...

書店で探す

書誌情報

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

紙

資料種別: 図書
ISBN: 9783642166112 (ISBN-13)
3642166113
ISSN（シリーズ）: 0302-9743
タイトル: Runtime verification : first international conference, RV 2010 : St. Julians, Malta, November 1-4, 2010 : proceedings. : runtime verification events : Nov 2010, St. Julians, Malta.
シリーズタイトル: Lecture Notes in Computer Science ; 6418
出版事項: Berlin : Springer
出版年月日等: c2010.
出版年（W3CDTF）: 2010
数量: xiii, 492 p. : ill. (some col.) ; 24 cm.
並列タイトル等: Runtime verification : 1st international conference, RV 2010 : St. Julians, Malta, November 1-4, 2010 : proceedings
出版地（国名コード）: DE
NDLC: M17
一般注記: Papers and an abstract.
"The conference program included (...) tutorials, and tool demonstrations." -- pref.
"Runtime Verification events started with a workshop in 2001 and continued as an annual workshop series through 2009. (...) This year marks an important transition for RV from workshop to a standalone conference." -- pref.
書誌注記: Includes bibliographical references and author index.
所蔵機関: 国立国会図書館
請求記号: M17-11-703
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000011054625
http://id.ndl.go.jp/bib/000011054625
整理区分コード: 215