Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 01558109
Price: 54.41 EUR
Availability: InStock
Author: Herman Geuvers
ISBN: 9783540140313

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Herman Geuvers

Freek Wiedijk

Език

Английски език

Книга С меки корици

Код Либристо: 01558109

Издателство Springer, Berlin, ноември 2002

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop... Цялото описание

Код Либристо: 01558109

132 b

54.41 €

106.41 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Petition, CI-Devant Chef Du Second Bataillon Du 92e Regiment d'Infanterie, Et Ancien Capitaine BEGG-G

С меки корици

13.70 € 26.80 лв

Zákon neviny Michael Connelly

С твърди корици

14.79 € 28.92 лв

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002.§The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Coq and Isar/HOL.