>> Google Books

Verification, Model Checking, and Abstract Interpretation / Radhia Cousot, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.

資料種別:
電子ブック
出版情報:
ACM Digital Library Proceedings
Springer Berlin / Heidelberg, 2005
著者名:
ISBN:
9783540242970 [354024297X]
9783540305798 [3540305793]
書誌ID:
OB00226042
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Cook, Byron, Kanade, Takeo, Podelski, Andreas

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

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

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

Barthe, Gilles, Hermenegildo, Manuel, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Barbara Jobstmann, K. Rustan M. Leino

Springer eBooks Computer Science, Springer Berlin Heidelberg

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