Kód: 01561624

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561624
Price: 55.77 EUR
Availability: InStock
Author: Jean-Christophe Filliatre
ISBN: 9783540314288

Autor Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 280
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006
Viac informácií o knihe

55.77 €

Skladom u dodávateľa v malom množstve
Odosielame za 13 - 18 dní

Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

The Omega's Candy Shop
13.43 € -24 %
Kúpiť
Color Brain
27.17 €
Predobjednať
Petite Trotteuse
11.51 €
Kúpiť
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote
16.56 €
Kúpiť
Justice Will Prevail: A Lee Bell Mystery
11.51 € -7 %
Kúpiť
Zukunftsfahiges Leitbild oder veraltetes Schlagwort?
16.16 € -10 %
Kúpiť
Treatise of the Suffocation of the Matrix, Commonly Called, the Fits of the Mother. Wherein Are Not Only Explained the Cause, Progress, and Danger of
11.81 € -25 %
Kúpiť
Der Kurator im Zeitalter der neuen Medienkunst
14.44 € -10 %
Kúpiť
Construction Workers
30.71 €
Kúpiť
Works of Elizabeth Gaskell, Part I Vol 3
68.60 €
Kúpiť
Technology and Employment Practices in Developing Countries
159.96 €
Kúpiť
XLVIII Mexican Conference on Biomedical Engineering
205.53 € -7 %
Kúpiť
Experimental Philosophy and its Critics
215.84 €
Kúpiť
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825)
18.38 € -1 %
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Types for Proofs and Programs

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 135 bodov

Anotácia knihy

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

55.77 €

Celý názov: Types for Proofs and Programs
Podnázov: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Autor: Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 280
EAN: 9783540314288
ISBN: 3540314288
ID: 01561624
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť: 910 g
Rozmery: 235 × 155 × 17 mm
Dátum vydania: 25. January 2006