adicionar à lista de desejos
Qualified Types
Theory And Practice
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, November of 1994 ‧
see product details
SYNOPSIS
Functional programming; Haskell, Gofer; type theory.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9780521472531 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | November of 1994 |
| Language: | English |
| Dimensions: | 174 x 247 x 20 mm |
| Cover: | Hardcover |
| Pages: | 169 |
| Format: | Book |
| Collection: | Distinguished Dissertations In Computer Science |
| Categories: |
Books in English
>
Computing
>
Schedule
|
| EAN: | 9780521472531 |
BOOKS FROM THE SAME COLLECTION
-
10%Specification And Proof In Real Time CspCAMBRIDGE UNIVERSITY PRESS74,35€ 10% CARDfree shipping
-
10%Presumption And The Practices Of Tentative CognitionCAMBRIDGE UNIVERSITY PRESS56,78€ 10% CARDfree shipping
-
Electoral Laws And The Survival Of Presidential DemocraciesUNIVERSITY OF NOTRE DAME PRESS43,26€