Проверка на състоянието на поръчката
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€

Verified Functional Programming in Agda

Език Английски езикАнглийски език
Книга С меки корици
Книга Verified Functional Programming in Agda Aaron Stump
Код Либристо: 12519282
Издателство Morgan & Claypool Publishers, февруари 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Цялото описание
? points 204 b
84.16 €
164.60  лв
Външен склад Изпращаме след 14-21 дни

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

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

Wind Breaker 13 Jan-Christoph Müller / Книга С меки корици
common.buy 6.74 € 13.19 лв
Musica Elettronica e Sound Design - Teoria e Pratica con Max 9 - Volume 1 (Quinta Edizione) Maurizio Giri / Книга С меки корици
common.buy 51.30 € 100.33 лв
Je Comprends Tout- Tout en un CM1 Safia Amor / Книга С твърди корици
common.buy 14.78 € 28.90 лв
CENT FOIS SUR LE METIER Jan BAETENS Книга С меки корици
common.buy 15.14 € 29.61 лв
Co drží Nizozemí Viktor Špaček / Книга С меки корици
common.buy 3.76 € 7.34 лв
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Книга С меки корици
common.buy 19.10 € 37.36 лв
Ley de Régimen Jurídico del Sector Público / Книга С меки корици
common.buy 21.73 € 42.50 лв
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Книга С твърди корици
common.buy 32.96 € 64.46 лв
THE ART OF : LE CHÂTEAU DANS LE CIEL (ARTBOOK VO JAPONAIS) / Книга С меки корици
common.buy 56.45 € 110.40 лв
Les missions au coeur du CPAS Thomaes-Lodefier / Книга С меки корици
common.buy 58.56 € 114.53 лв
Tubbz Kachnička plyšová Jurský park - Trex / Игра/играчка Играчка
common.buy 30.59 € 59.83 лв
Theorie Et Applications Des Equipollences Laisant-C-A / Книга С меки корици
common.buy 25.08 € 49.05 лв
Reichenbach und seine Ortsteile Gero Fehlhauer / Книга С меки корици
common.buy 19.00 € 37.16 лв
Arbeitsmedizin - Kurs B Gerd J. Enderle / Книга С меки корици
common.buy 30.90 € 60.43 лв
Der kommunistische Widerstand gegen die NS-Diktatur Azad Calik / Книга С меки корици
common.buy 17.04 € 33.34 лв
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Книга С меки корици
common.buy 17.04 € 33.34 лв
Eines Erbarn Wolweisen Radts der Keyserlichen Freyen Reichs Stadt Lübeck kurtzer bericht, was hochwichtiger gebrechen und unmessiger grosser beschwer Carl von Reifitz / Книга С меки корици
common.buy 30.85 € 60.33 лв
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Книга С меки корици
common.buy 366.89 € 717.58 лв
Подготвяме
Schöner ficken Axel Neustädter / Книга С меки корици
common.buy 16.17 € 31.62 лв
Oriens Christianus 90 (2006) Hubert Kaufhold / Книга С меки корици
common.buy 79.94 € 156.34 лв
El misterio del mar. Vol. II Stoker / Книга С меки корици
common.buy 24.51 € 47.94 лв
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Книга С меки корици
common.buy 27.76 € 54.29 лв
Abt Georg Joseph Vogler Karl Emil von Schafhäutl / Книга С меки корици
common.buy 24.46 € 47.84 лв
Paulo Freire und die Kritische Theorie Merlin Wolf / Книга С меки корици
common.buy 18.95 € 37.06 лв

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of

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

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

Пълно заглавие Verified Functional Programming in Agda
Автор Aaron Stump
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2016
Брой страници 284
Баркод 9781970001242
ISBN 1970001240
Код Либристо 12519282
Издателство Morgan & Claypool Publishers
Тегло 540
Размери 191 x 235 x 20

Категории

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Verified Functional Programming in Agda Aaron Stump / Книга С твърди корици
common.buy 115.17 € 225.25 лв
Bridge Engineering Handbook Lian Duan / Книга С твърди корици
common.buy 259.91 € 508.33 лв
Подготвяме
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Книга С меки корици
common.buy 14.21 € 27.79 лв
Choosing end of life nursing SUSAN BARDY / Книга С меки корици
common.buy 28.79 € 56.30 лв
Miss Bertha and the Yankee ('The Duel in Herne Wood') Wilkie Collins / Книга С меки корици
common.buy 13.64 € 26.69 лв
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Книга С меки корици
common.buy 12.10 € 23.66 лв
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Книга С меки корици
common.buy 46.51 € 90.96 лв
True Feelings Carolyn Mahaney / Книга С меки корици
common.buy 14.73 € 28.80 лв
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Книга С твърди корици
common.buy 33.42 € 65.37 лв
Okanagan Slow Road Bernadette McDonald / Книга С меки корици
common.buy 28.43 € 55.60 лв
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Книга С меки корици
common.buy 29.51 € 57.72 лв
MY PEOPLE THE AMISH Joe Keim / Книга С меки корици
common.buy 12.82 € 25.07 лв
Yorkshire Dales and South Pennines Walks In a Box Duncan Petersen / Книга С меки корици
common.buy 21.63 € 42.30 лв
Sociology of Law as the Science of Norms Hyden / Книга С твърди корици
common.buy 243.32 € 475.90 лв
Unfailing Friendship Kayla J Brown / Книга С меки корици
common.buy 16.12 € 31.52 лв
Problems in Structural Inorganic Chemistry LI / Книга С меки корици
common.buy 82.56 € 161.48 лв
Stick It!: My Life of Sex, Drums, and Rock 'n' Roll Carmine Appice / Книга С меки корици
common.buy 17.20 € 33.64 лв
Common Ground Donald V. Gaffney / Книга С меки корици
common.buy 14.21 € 27.79 лв
Tiny Science: Nanotechnology ANNA CLAYBOURNE / Книга С меки корици
common.buy 11.02 € 21.55 лв
Top
Bridgerton: When He Was Wicked Julia Quinn / Книга С меки корици
common.buy 10.35 € 20.24 лв
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Книга С меки корици
common.buy 33.42 € 65.37 лв
Intra-Africa Migrations Inocent Moyo / Книга С твърди корици
common.buy 243.32 € 475.90 лв
Color Me Jane Jacqui Oakley / Книга С меки корици
common.buy 11.02 € 21.55 лв
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Книга С твърди корици
common.buy 130.21 € 254.67 лв

Вход

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

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

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

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

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