Eduardo Gimenez Types for Proofs and Programs (Paperback) (UK IMPORT)
USD 90.42 USD
Title: Types for Proofs and Programs. Format: Paperback. Missing Information?. Type: Functional Programming. Item Weight: 522 gg. Release Date: 10/07/1998. Genre: Computing & Internet.
Specifications
| EAN | 9783540651376 |
| ISBN-10 | 3540651373 |
| ISBN | 9783540651376 |
| Edition | 1998 ed. |
| Item Height | 235mm |
| Genre | Computing & Internet |
| Release Date | 10/07/1998 |
| Release Year | 1998 |
| Subject Area | Mathematics, Computers |
| Item Length | 9.2 in |
| Publication Year | 1998 |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Item Weight | 42.3 Oz |
| Item Width | 6.1 in |
| Number Of Pages | 380 Pages |
This textbook was recommended by my instructor for the advanced module.
