Types for Proofs and Programs: International Conference, Types 2007, Cividale
USD 63.89 USD
Specifications
| Publication Date | 2008-05-26 |
| Pages | 203 |
| ISBN | 9783540680840 |
| Subject Area | Computers |
| Item Length | 9.3 in |
| Publication Year | 2008 |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Author | FURIO Honsell |
| Item Weight | 16 Oz |
| Item Width | 6.1 in |
| Number Of Pages | VII, 203 Pages |
You will find that this textbook uses bullet points to highlight key facts.
Related Items
Cases in Emotional and Behavioral Disorders of Children and Youth
Niosh Pocket Guide to Chemical Hazards – September 2010 Edition by Niosh (2010,
Trail Guide to the Body 3e : How to Locate Muscles Bones Andrew Biel w Student
What Your Kindergartner Needs to Know : Preparing Your Child for a Lifetime o…
Pearson enVision Algebra 1 Teacher’s Edition Vol 2 Common Core 2018
All the Math You Missed: (But Need to Know for Graduate School) by Garrity: New
You Are Strong and Worthy: Celebrating the Yogi in All of Us
The Writing Revolution : A Guide to Advancing Thinking Through Writing in All…