Code: 01564126

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564126
Price: 55.89 EUR
Availability: InStock
Author: Paul Callaghan
ISBN: 9783540432876

by Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack

Language: English
Binding: Paperback
Number of pages: 248
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002
More about this

55.89 €

Low in stock at our supplier
Shipping in 13 - 18 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Bouquet of Birds 750 Piece Shaped Puzzle
16.50 € -19 %
Buy
Moomin's Seek and Find Finger-Trail book
11.53 € -11 %
Buy
Energie rinnovabili da biomasse: rischi e opportunità. Coltivazioni, allevamenti, compost, biogas e agro-carburanti: analisi degli impatti ambientali.
44.95 €
Buy
Matemáticas para aprender a pensar : el papel de las creencias en la resolución de problemas
21.76 € -2 %
Buy
SIEBEN MARCHEN DER GEBRUDER GRIMM
13.86 €
Buy
Patriot Dreams and Dreams of God
6.37 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 135 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed.

Book details

Book category Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

55.89 €

Full title: Types for Proofs and Programs
Subtitle: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Author: Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
Language: English
Binding: Paperback
Number of pages: 248
EAN: 9783540432876
ISBN: 3540432876
ID: 01564126
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 820 g
Dimensions: 233 × 155 × 15 mm
Date of publishing: 20. February 2002