>> Google Books

Types for Proofs and Programs / Thorsten Altenkirch, Takeo Kanade, Conor McBride

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

類似資料:

International Workshop on TYPES, Altenkirch, Thorsten, 1962-, Naraschewski, Wolfgang, 1970-, Reus, Bernhard, 1965-

Springer

7 電子ブック Types for Proofs and Programs

International Workshop TYPES '94, Dybjer, Peter, Nordström, Bengt, Smith, Jan M.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

2 電子ブック Types for Proofs and Programs

Berardi, Stefano, Damiani, Ferruccio, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

8 電子ブック Types for Proofs and Programs

Barendregt, Hendrik Pieter, Nipkow, Tobias

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

3 電子ブック Types for Proofs and Programs

Filliâtre, Jean-Christophe, Kanade, Takeo, Paulin-Mohring, Christine, Werner, Benjamin

Springer eBooks Computer Science, Springer Berlin / Heidelberg

9 電子ブック Types for Proofs and Programs

TYPES '95, Berardi, Stefano, Coppo, Mario

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

4 電子ブック Types for Proofs and Programs

Miculan, Marino, Honsell, Furio, Kanade, Takeo, Scagnetto, Ivan

Springer eBooks Computer Science, Springer Berlin Heidelberg

10 電子ブック Tests and Proofs

Dubois, Catherine, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Altenkirch, Thorsten, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM

11 電子ブック Tests and Proofs

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

6 電子ブック Programs, Proofs, Processes

Ferreira, Fernando, Kanade, Takeo, Löwe, Benedikt, Mayordomo, Elvira, Mendes Gomes, Luís

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David; Kanade, Takeo; Kittler, Josef

Springer eBooks Computer Science, Springer Berlin Heidelberg

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