Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | eBook |
| 言語: | English |
| 出版事項: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013.
|
| シリーズ: | Lecture Notes in Computer Science
7687 |
| 主題: | |
| オンライン･アクセス: | Click here to view the full text content |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
システム保守作業中
現在、図書館管理システムは保守作業中です。
現在、予約と貸出情報の閲覧は利用できません。ご不便をおかけし大変申し訳ありません。詳細は担当にご連絡ください: