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: W9WcCLZH
GTIN: 9783540744634
Condition: Good
Tags: 2007 9783540744634
Categories: Textbooks, Education & Reference

Specifications

ISBN9783540744634

The SHU-001-A5 dimensions make it a handy companion for coffee shops.

Related Items

Out of the Labyrinth : Setting Mathematics Free Robert, Kaplan, E
Out of the Labyrinth : Setting Mathematics Free Robert, Kaplan, E
 CANADIAN GOVERNMENT GR. 5-8 (NORTH AMERICAN GOVERNMENTS) – By Brenda Rollins NEW
CANADIAN GOVERNMENT GR. 5-8 (NORTH AMERICAN GOVERNMENTS) – By Brenda Rollins NEW
 Arrival Of The American League Softcover Book Baseball Sports History Wilbert EX
Arrival Of The American League Softcover Book Baseball Sports History Wilbert EX
 Managing for Quality and – Hardcover, by Evans James R.; – Acceptable
Managing for Quality and – Hardcover, by Evans James R.; – Acceptable
 Working With Words 5 Vocabulary Workbook Pathway Publishers 2007 96 pages NEW
Working With Words 5 Vocabulary Workbook Pathway Publishers 2007 96 pages NEW
 Markets and the Environment Nathaniel O Keohane Sheila M Olmstead Island Press
Markets and the Environment Nathaniel O Keohane Sheila M Olmstead Island Press
 Elementary Statistics Using the TI-83/84 Plus Calculator (2nd Edition)…
Elementary Statistics Using the TI-83/84 Plus Calculator (2nd Edition)…
 Influencer: The Power to Change Anything – 9780071484992, hardcover, Patterson
Influencer: The Power to Change Anything – 9780071484992, hardcover, Patterson