Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , , |
| フォーマット: | eBook |
| 言語: | English |
| 出版事項: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2007.
|
| シリーズ: | Lecture Notes in Computer Science,
4383 |
| 主題: | |
| オンライン･アクセス: | Click here to view the full text content |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
このレコードへの初めてのコメントを付けませんか!