>> Google Books

Verification, Model Checking, and Abstract Interpretation / Byron Cook, Takeo Kanade, Andreas Podelski

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2007
著者名:
ISBN:
9783540697350 [3540697357]
9783540697381 [3540697381]
書誌ID:
OB00278601
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Hutchison, David, Kanade, Takeo

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

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Jones, Neil D., Müller-Olm, Markus

Springer eBooks Computer Science, Springer Berlin Heidelberg

Barthe, Gilles, Hermenegildo, Manuel, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Logozzo, Francesco, Peled, Doron A., Zuck, Lenore D.

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

ACM Digital Library Proceedings, Springer Berlin Heidelberg

Barbara Jobstmann, K. Rustan M. Leino

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

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