Preloader
Drag

Types for Proofs and Programs International Workshop Types 2006 LNCS 4502

Types for Proofs and Programs International Workshop Types 2006 LNCS 4502
Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 Types for Proofs and Programs International Workshop Types 2006 LNCS 4502

Types for Proofs and Programs International Workshop Types 2006 LNCS 4502

USD 26.76 USD
SKU: 15HfiEhi
GTIN: 9783540744634
Condition: Good
Tags: 2007 9783540744634
Categories: Textbooks, Education & Reference

Specifications

ISBN9783540744634

A nice touch is the summary checklist at the end of each workbook section.

Related Items

Physicians’ Desk Reference Hospital Edition Library Binding
Physicians’ Desk Reference Hospital Edition Library Binding
 MAGRUDER’S AMERICAN GOVERNMENT – Student Textbook – By McClenaghan (2007)
MAGRUDER’S AMERICAN GOVERNMENT – Student Textbook – By McClenaghan (2007)
 The New Healing Foods: 1,404 Refrigerator Remedies, Countertop Cures, and – GOOD
The New Healing Foods: 1,404 Refrigerator Remedies, Countertop Cures, and – GOOD
 Super Foods For Seniors – (2007) – Hardcover – 378 Pages
Super Foods For Seniors – (2007) – Hardcover – 378 Pages
 Hurst’s the Heart
Hurst’s the Heart
 Diagnosis-Specific Orthopedic Management of the Hip (8630)
Diagnosis-Specific Orthopedic Management of the Hip (8630)
 The Political Economy of Economic Growth in Africa 1960-2000 Cambridge Univ
The Political Economy of Economic Growth in Africa 1960-2000 Cambridge Univ
 2007 Polaris Sportsman 450/500 EFI Service Manual: 406 Pages & Protective Covers
2007 Polaris Sportsman 450/500 EFI Service Manual: 406 Pages & Protective Covers