>> Google Books

Verification, Model Checking, and Abstract Interpretation / Ranjit Jhala, Takeo Kanade, David Schmidt, Association for Computing Machinery-Digital Library.

資料種別:
電子ブック
出版情報:
ACM Digital Library Proceedings
Springer Berlin Heidelberg, 2011
著者名:
ISBN:
9783642182747 [3642182747]
9783642182754 [3642182755]
書誌ID:
OB00226026
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Jhala, Ranjit, Kanade, Takeo, Schmidt, David, Association for Computing Machinery-Digital Library.

Springer eBooks Computer Science, Springer Berlin Heidelberg

Cook, Byron, Kanade, Takeo, Podelski, Andreas

Springer eBooks Computer Science, Springer Berlin Heidelberg

Cousot, Radhia, Kanade, Takeo, Association for Computing Machinery-Digital Library., Association for Computing …

ACM Digital Library Proceedings, Springer Berlin / Heidelberg

Emerson, E. Allen, Kanade, Takeo, Namjoshi, Kedar S.

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Cousot, Radhia, Kanade, Takeo, Association for Computing Machinery-Digital Library., Association for Computing …

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Barthe, Gilles, Hermenegildo, Manuel, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Jhala, Ranjit, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM

Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library.

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, Springer Berlin Heidelberg

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12