Types for Proofs and Programs: International Workshop, TYPES ’98, Kloster Irs…

Types for Proofs and Programs: International Workshop, TYPES ’98, Kloster Irs…

USD 57.69 USD
SKU: CfVyaRYk
GTIN: 9783540665373
Condition: Brand New
Tags: 1657 Pages 1999 24.7 Oz 6.1 in 9.3 in 9783540665373 English Mathematics, Computers Textbook Trade Paperback VIII, 212 Pages Wolfgang Naraschewski
Categories: Textbooks, Education & Reference

Specifications

ISBN9783540665373
Subject AreaMathematics, Computers
Item Length9.3 in
Publication Year1999
TypeTextbook
FormatTrade Paperback
LanguageEnglish
AuthorWolfgang Naraschewski
Item Weight24.7 Oz
Item Width6.1 in
Number Of PagesVIII, 212 Pages

A nice touch in this textbook is the list of common mistakes to avoid.

Related Items

A THEORY OF GOOD CITY FORM, Kevin Lynch 1st Ed 1st Pr 1981 M.I.T. [Lot 164]
A THEORY OF GOOD CITY FORM, Kevin Lynch 1st Ed 1st Pr 1981 M.I.T. [Lot 164]
 Multilevel Modeling of Educational Data Paperback
Multilevel Modeling of Educational Data Paperback
 Financial Management for Nonprofit Organizations: Policies and Practices – h…
Financial Management for Nonprofit Organizations: Policies and Practices – h…
 A Navy Seals BUG IN GUIDE
A Navy Seals BUG IN GUIDE
 A People and a Nation: A History of the United States, Brief 10th Edition
A People and a Nation: A History of the United States, Brief 10th Edition
 States and Power by Lachmann, Richard
States and Power by Lachmann, Richard
 Effective Universal Instruction: An Action-Oriented Approach to Improving Ti…
Effective Universal Instruction: An Action-Oriented Approach to Improving Ti…
 Thermodynamics, Statistical Thermodynamics, and Kinetics by Philip Reid and…
Thermodynamics, Statistical Thermodynamics, and Kinetics by Philip Reid and…