>> Google Books

Formal Verification of Object-Oriented Software / Bernhard Beckert, Takeo Kanade, Claude Marché

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2011
著者名:
ISBN:
9783642180699 [3642180698]
9783642180705 [3642180701]
書誌ID:
OB00280804
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Yorav, Karen, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Beckert, Bernhard, Carbonell, Jaime G., Hähnle, Reiner, Schmitt, Peter H., Siekmann, Jörg

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Havelund, Klaus, Kanade, Takeo, Núñez, Manuel, Roşu, Grigore, Wolff, Burkhart

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Boer, Frank S. de, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Bernardo, Marco, Cimatti, Alessandro, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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