Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 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 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Types for Proofs and Programs Thorsten Altenkirch
Код Либристо: 01569105
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 2007
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Цялото описание
? points 148 b
61.21 €
119.71  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Lecturas para estrenarse en psicología GEMMA Y OTROS PEIRO BALLESTIN / Книга С меки корици
common.buy 20.29 € 39.69 лв
Deathbook Curval / Книга С меки корици
common.buy 5.85 € 11.43 лв
MAPA TOP 25 SIERRA Y CAÑONES DE GUARA II ZONA ORIENTAL PRAMES / Книга С меки корици
common.buy 16.20 € 31.69 лв
Piratería en la antigüedad : un ensayo sobre historia del Mediterráneo Henry Ardene Ormerod / Книга С меки корици
common.buy 26.04 € 50.94 лв
Como Animar um Capricorniano Mary English / Книга С меки корици
common.buy 27.49 € 53.77 лв
Comentarios a la constitución "Gaudium et spes" Ángel Herrera Oria / Книга С твърди корици
common.buy 21.33 € 41.72 лв
Limitsiz Yasam Nick Vujicic / Книга С меки корици
common.buy 11.80 € 23.08 лв
SparkofPhoenix: 200 Dinge in Minecraft, die du noch nicht wusstest SparkofPhoenix / Книга С меки корици
common.buy 13.56 € 26.53 лв
Extraits de margousier (Azadirachta indica A. Juss) pour le traitement des semences Ruth Abreu Araújo / Книга С меки корици
common.buy 37.80 € 73.93 лв
Top
Sur le jeu d'acteur Meisner SANFORD / Книга С меки корици
common.buy 31.53 € 61.67 лв
Die Bedeutung von Musik für Kinder in ihrer Entwicklung und in ihrem lebensweltlichen Kontext Monika Jenke / Книга С меки корици
common.buy 26.56 € 51.95 лв
El hombre que se habita Adriano Meschi / Книга С меки корици
common.buy 17.81 € 34.83 лв
Escape Rooms für zu Hause selbst gestalten Christine Sinnwell-Backes / Книга С меки корици
common.buy 9.16 € 17.92 лв
Thematische woordenschat Nederlands-Afrikaans - 9000 woorden Andrey Taranov / Книга С меки корици
common.buy 15.69 € 30.68 лв
Nimetoka Italia ! L'Epopea Dei Volontari e Missionari Italiani Nella Guerra D'uganda con Francesca Faramondi / Книга С меки корици
common.buy 20.50 € 40.10 лв
Desarrollo global de software Félix O. García Rubio / Книга С меки корици
common.buy 39.97 € 78.18 лв
dito e la luna. Riflessioni su filosofia, fede e politica Emanuele Severino / Книга С меки корици
common.buy 19.88 € 38.88 лв
Eisenbahn-Geleise A. Haarman / Книга С меки корици
common.buy 29.36 € 57.42 лв
Zázraky Valentín Šefčík / Книга С твърди корици
common.buy 12.68 € 24.80 лв
WALTER D. NAG WIND ENSEMBLE SCORE/PARTS WALTER Книга binding.
common.buy 51.37 € 100.46 лв
L'Afrique noire victime de ses péchés Oulatta / Книга С меки корици
common.buy 30.13 € 58.94 лв
PORTRAIT D'UN MILLIARDAIRE MALHEUREUX BOSQUET / Книга С меки корици
common.buy 90.31 € 176.63 лв
Megúszós kaják Fördős Zé / Книга С твърди корици
common.buy 19.21 € 37.57 лв
Histoire de l'Afrique Septentrionale (Berberie). T 1 (Ed.1888) Ernest Mercier / Книга С меки корици
common.buy 31.22 € 61.06 лв

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006.§The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. 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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Types for Proofs and Programs
Автор Thorsten Altenkirch, Conor McBride
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2007
Брой страници 272
Баркод 9783540744634
ISBN 3540744630
Код Либристо 01569105
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 900
Размери 155 x 235 x 18

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Internet of Things, Smart Spaces, and Next Generation Networking Sergey Andreev / Книга С меки корици
common.buy 54.47 € 106.54 лв
Radiation and Cellular Control Processes J. Kiefer / Книга С меки корици
common.buy 108.69 € 212.58 лв
Gustavus Adolphus: The Life and Legacy of Sweden's Most Famous King Charles River Editors / Книга С меки корици
common.buy 11.39 € 22.27 лв
Champ Ferguson Thurman Sensing / Книга С меки корици
common.buy 46.86 € 91.65 лв
What Does the Referee Do? Margaret MacDonald / Книга С меки корици
common.buy 8.23 € 16.09 лв
Firefly Wildlife Atlas: A Comprehensive Guide to Animal Habitats John Farndon / Книга С меки корици
common.buy 14.70 € 28.75 лв
Cultures of Sustainability and Wellbeing Paola Spinozzi / Книга С твърди корици
common.buy 209.36 € 409.48 лв
The Law of Bills of Sale: With an Appendix of Precedents and Statutes / By George Edward Lyon and Joseph Haworth Redman. George Edward Lyon / Книга С меки корици
common.buy 22.99 € 44.96 лв
60 Subtraction Worksheets with 2-Digit Minuends, 2-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Книга С меки корици
common.buy 13.10 € 25.61 лв
The Top 50 Underrated NFL Wide Receivers MR Rashad Skyla Mitchell / Книга С меки корици
common.buy 6.73 € 13.16 лв
Some Brief Remarks upon Sundry Important Subjects John Griffith / Книга С меки корици
common.buy 16.15 € 31.59 лв
Brush with the Chinese and What Came of it G. A. Henty / Книга С твърди корици
common.buy 14.65 € 28.65 лв
100 First Dinosaur Words DK / Книга Дипляна
common.buy 10.30 € 20.15 лв
Opinionated Guide To London Green Spaces Marco Kesseler / Книга С меки корици
common.buy 11.49 € 22.48 лв
Salman Rushdie and Translation Jenni Ramone / Книга С твърди корици
common.buy 195.17 € 381.73 лв
Prosperity And How It Must Come: Economic Facts For Workers And Preachers (1914) Roger Ward Babson / Книга С меки корици
common.buy 23.14 € 45.26 лв
Essential Touring Car RC Racer's Guide Dave B Stevens / Книга С меки корици
common.buy 41.53 € 81.22 лв
Clostridioides difficile Infection Guido Granata / Книга С твърди корици
common.buy 45.51 € 89.02 лв
Bob + Barb Present... Books! Books!! Books!!! Bob and Barb Studios / Книга С твърди корици
common.buy 23.35 € 45.67 лв
Top
Miraculous: Tales of Ladybug & Cat Noir 2 Zag / Книга С меки корици
common.buy 9.11 € 17.82 лв
VMware Cloud on AWS Christophe Lombard / Книга С меки корици
common.buy 45.20 € 88.41 лв
Toddlers Fun - A Black Children's Coloring Book Kyle Davis / Книга С меки корици
common.buy 8.44 € 16.50 лв
Tracker Jeffery Deaver / Книга С меки корици
common.buy 15.12 € 29.56 лв
The Warlord Era Laszlo Montgomery / Книга С меки корици
common.buy 17.50 € 34.22 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?