>> Google Books

Tests and Proofs / Yuri Gurevich, Takeo Kanade, Bertrand Meyer

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

類似資料:

1 電子ブック Tests and Proofs

Dubois, Catherine, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Meyer, Bertrand, Kanade, Takeo, Nawrocki, Jerzy R., Walter, Bartosz

Springer eBooks Computer Science, Springer Berlin Heidelberg

2 電子ブック Tests and Proofs

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Meyer, Bertrand, Joseph, M., Joseph, Mathai, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

3 電子ブック Tests and Proofs

Fraser, Gordon, Gargantini, Angelo, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

9 電子ブック Types for Proofs and Programs

Altenkirch, Thorsten, Kanade, Takeo, McBride, Conor

Springer eBooks Computer Science, Springer Berlin Heidelberg

4 電子ブック Tests and Proofs

Gogolla, Martin, Kanade, Takeo, Wolff, Burkhart

Springer eBooks Computer Science, Springer Berlin Heidelberg

Kohlas, Jürg, Kanade, Takeo, Kohlas, J・・urg, Meyer, Bertrand, Schiper, Andrae, Schiper, André

Springer eBooks Computer Science, Springer Berlin Heidelberg

Meyer, Bertrand, Kanade, Takeo, Woodcock, Jim

Springer eBooks Computer Science, Springer Berlin Heidelberg

Huzar, Zbigniew, Kanade, Takeo, Koci, Radek, Meyer, Bertrand, Meyer-Stabley, Bertrand, Walter, Bartosz, Zendulka, …

Springer eBooks Computer Science, Springer Berlin Heidelberg

12 電子ブック Types for Proofs and Programs

Berardi, Stefano, Damiani, Ferruccio, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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