Types for Proofs and Programs: International Conference, Types 2007, Cividale

Types for Proofs and Programs: International Conference, Types 2007, Cividale

Types for Proofs and Programs: International Conference, Types 2007, Cividale

USD 63.89 USD
SKU: q70IFl6c
GTIN: 9783540680840
Condition: Brand New
Tags: 16 Oz 2008 2008-05-26 203 203 Pages 6.1 in 9.3 in 9783540680840 Computers English FURIO Honsell Textbook Trade Paperback VII, 203 Pages
Categories: Textbooks, Education & Reference

Specifications

Publication Date2008-05-26
Pages203
ISBN9783540680840
Subject AreaComputers
Item Length9.3 in
Publication Year2008
TypeTextbook
FormatTrade Paperback
LanguageEnglish
AuthorFURIO Honsell
Item Weight16 Oz
Item Width6.1 in
Number Of PagesVII, 203 Pages

A nice touch in this textbook is the checklist of learning outcomes at the start.

Related Items

ACSM’s Guidelines for Exercise Testing and Prescription (Lippincott Connect-ACSM
ACSM’s Guidelines for Exercise Testing and Prescription (Lippincott Connect-ACSM
 Foreign Affairs and the United States Constitution
Foreign Affairs and the United States Constitution
 30 Days to a More Powerful Vocabulary Second Edition by Dan Strutzel
30 Days to a More Powerful Vocabulary Second Edition by Dan Strutzel
 Bids, Tenders, & Proposals 5th Ed by Harold Lewis 2015 SC Kogan Page
Bids, Tenders, & Proposals 5th Ed by Harold Lewis 2015 SC Kogan Page
 FARNSWORTH’S CLASSICAL ENGLISH RHETORIC By Ward Farnsworth *Excellent Condition*
FARNSWORTH’S CLASSICAL ENGLISH RHETORIC By Ward Farnsworth *Excellent Condition*
 Advanced EMT: A Clinical Reasoning Approach
Advanced EMT: A Clinical Reasoning Approach
 Math Magic: The Human Calculator Shows How to Master Everyday Math Proble – GOOD
Math Magic: The Human Calculator Shows How to Master Everyday Math Proble – GOOD
 The Guide to EKG Interpretation: Revised Edition (White Coat Pocket Guide)
The Guide to EKG Interpretation: Revised Edition (White Coat Pocket Guide)