Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Types for Proofs and Programs

Best Price (Coupon Required):
Buy Types for Proofs and Programs for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540681038
Condition
New
Product Description

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Stress Adaptation, Prophylaxis and Treatment

Stress Adaptation, Prophylaxis and Treatment

$84.99
Agile Modellierung mit UML

Agile Modellierung mit UML

$14.99
Die Genauigkeit dynamischer Parallaxen

Die Genauigkeit dynamischer Parallaxen

$59.99
Springer Handbook of Optical Networks

Springer Handbook of Optical Networks

$379.99
Gemeinsam bauen - gemeinsam wohnen

Gemeinsam bauen - gemeinsam wohnen

$49.99
Marginal Donors

Marginal Donors

$109.99
Particle Physics and the Universe

Particle Physics and the Universe

$219.99
Innovations in Multivariate Statistical Analysis

Innovations in Multivariate Statistical Analysis

$169.99
Perspectives in Business Informatics Research

Perspectives in Business Informatics Research

$54.99
Child and Adolescent Psychiatry

Child and Adolescent Psychiatry

$109.99
Combinatorial Optimization

Combinatorial Optimization

$34.99
Die charakterstarke Marke

Die charakterstarke Marke

$39.99
Being an Expert Professional Practitioner

Being an Expert Professional Practitioner

$129.00
Pharmakodynamische Modelle fr die Arzneimittelentwicklung

Pharmakodynamische Modelle fr die Arzneimittelentwicklung

$44.99
Oral and Maxillofacial Surgery for the Medically Compromised Patient

Oral and Maxillofacial Surgery for the Medically Compromised Patient

$89.00
C# and XML Primer

C# and XML Primer

$24.99
The Economics of Welfare

The Economics of Welfare

$69.99
Diagnose von Lernschwierigkeiten im Bereich funktionaler Zusammenhnge

Diagnose von Lernschwierigkeiten im Bereich funktionaler Zusammenhnge

$74.99
Barnett's Fairytale Trilogy: Los tres chivitos Gruff

Barnett's Fairytale Trilogy: Los tres chivitos Gruff

$6.74
The Cartilaginous Skeleton of the Bronchial Tree

The Cartilaginous Skeleton of the Bronchial Tree

$54.99
Auenhandel

Auenhandel

$69.99
Clinical Examination Skills in the Adult Critically Ill Patient

Clinical Examination Skills in the Adult Critically Ill Patient

$169.99
Positron Annihilation in Semiconductors

Positron Annihilation in Semiconductors

$219.99
Tracking Environmental Change Using Lake Sediments

Tracking Environmental Change Using Lake Sediments

$139.00
Optical Switching in Next Generation Data Centers

Optical Switching in Next Generation Data Centers

$179.99
Biomechanics of Active Movement and Deformation of Cells

Biomechanics of Active Movement and Deformation of Cells

$84.99
Quantum Network with Multiple Cold Atomic Ensembles

Quantum Network with Multiple Cold Atomic Ensembles

$149.00
Working with the American Community Survey in R

Working with the American Community Survey in R

$39.99
External Finance for Private Sector Development

External Finance for Private Sector Development

$109.99
Normative Entgrenzung

Normative Entgrenzung

$59.99
Is Crohns Disease a Mycobacterial Disease?

Is Crohns Disease a Mycobacterial Disease?

$84.99
Russia's Approach to Post-Conflict Reconstruction

Russia's Approach to Post-Conflict Reconstruction

$119.99
Interrogations, Confessions, and Entrapment

Interrogations, Confessions, and Entrapment

$109.99
The Barbary Macaque

The Barbary Macaque

$84.99
Advances in Seed Production and Management

Advances in Seed Production and Management

$219.99
Neural Networks in Telecommunications

Neural Networks in Telecommunications

$329.99
Natural Computing for Unsupervised Learning

Natural Computing for Unsupervised Learning

$109.99
Service Availability

Service Availability

$54.99
Climate Change Adaptation in the Adriatic Coastal Areas

Climate Change Adaptation in the Adriatic Coastal Areas

$159.99
Cooperative Information Agents X

Cooperative Information Agents X

$54.99
previous
next