Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
- フォーマット:
- 電子ブック
- 責任表示:
- edited by Ahmed Bouajjani, Wei-Ngan Chin
- 言語:
- 英語
- 出版情報:
- Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
- 形態:
- v.: digital
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 6252
- 書誌ID:
- NB02223951
- ISBN:
- 9783642156434 [3642156436]
- 学内からのみアクセスすることができます。
類似資料:
|
Springer-Verlag GmbH Berlin Heidelberg |
Springer-Verlag Berlin Heidelberg |
|
Springer-Verlag Berlin Heidelberg | |
|
Springer-Verlag Berlin Heidelberg | |
|
Springer-Verlag Berlin Heidelberg |
Springer-Verlag Berlin Heidelberg |
|
Springer-Verlag Berlin Heidelberg | |
|
Springer-Verlag Berlin Heidelberg |
Springer-Verlag Berlin Heidelberg |
