Testing and proving in dependent type theory
- Författare
- Haiyan Qiao
- (Qiao Haiyan.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högsk. | 2003 | Sverige, Göteborg | viii, 255 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högsk. | 2003 | Sverige, Göteborg | viii, 255 sidor. ill. |