Проверка на състоянието на поръчката
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.51 €
165.28  лв
Външен склад Изпращаме след 9-15 дни

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

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

Co drží Nizozemí Viktor Špaček / Книга С меки корици
common.buy 3.77 € 7.37 лв
Wind Breaker 13 Jan-Christoph Müller / Книга С меки корици
common.buy 6.93 € 13.54 лв
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Книга С твърди корици
common.buy 33.10 € 64.73 лв
Les missions au coeur du CPAS Thomaes-Lodefier / Книга С меки корици
common.buy 59.78 € 116.93 лв
Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Книга С твърди корици
common.buy 13.96 € 27.30 лв
Ley de Régimen Jurídico del Sector Público / Книга С меки корици
common.buy 21.98 € 42.98 лв
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Книга С меки корици
common.buy 20.17 € 39.44 лв
CENT FOIS SUR LE METIER Jan BAETENS Книга С меки корици
common.buy 16.18 € 31.65 лв
Reichenbach und seine Ortsteile Gero Fehlhauer / Книга С меки корици
common.buy 19.03 € 37.22 лв
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Книга С меки корици
common.buy 27.87 € 54.51 лв
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg / Книга С меки корици
common.buy 15.72 € 30.74 лв
Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür / Книга С меки корици
common.buy 32.63 € 63.82 лв
Janko Muzykant Sienkiewicz Henryk / Книга С меки корици
common.buy 1.03 € 2.01 лв
Torrepeko zaldunak Alaitz Olaizola Borda / Книга С меки корици
common.buy 15.61 € 30.54 лв
Paulo Freire und die Kritische Theorie Merlin Wolf / Книга С меки корици
common.buy 19.03 € 37.22 лв
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Книга С меки корици
common.buy 17.11 € 33.47 лв
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Книга С меки корици
common.buy 92.32 € 180.56 лв
Theorie Et Applications Des Equipollences Laisant-C-A / Книга С меки корици
common.buy 25.18 € 49.25 лв
Подготвяме
Schöner ficken Axel Neustädter / Книга С меки корици
common.buy 16.24 € 31.75 лв
Oriens Christianus 90 (2006) Hubert Kaufhold / Книга С меки корици
common.buy 80.52 € 157.49 лв

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 113.47 € 221.93 лв
Подготвяме
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Книга С меки корици
common.buy 14.27 € 27.91 лв
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Книга С меки корици
common.buy 29.63 € 57.95 лв
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Книга С меки корици
common.buy 12.15 € 23.76 лв
True Feelings Carolyn Mahaney / Книга С меки корици
common.buy 14.89 € 29.12 лв
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Книга С твърди корици
common.buy 33.56 € 65.64 лв
Okanagan Slow Road Bernadette McDonald / Книга С меки корици
common.buy 28.55 € 55.83 лв
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Книга С твърди корици
common.buy 134.11 € 262.29 лв
MY PEOPLE THE AMISH Joe Keim / Книга С меки корици
common.buy 12.87 € 25.18 лв
Common Ground Donald V. Gaffney / Книга С меки корици
common.buy 14.27 € 27.91 лв
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Книга С меки корици
common.buy 33.56 € 65.64 лв
Top
Bridgerton: When He Was Wicked Julia Quinn / Книга С меки корици
common.buy 10.39 € 20.32 лв
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Книга С меки корици
common.buy 47.11 € 92.15 лв
Master of the Eclipse Adnan / Книга С меки корици
common.buy 12.15 € 23.76 лв
Top
White Holes Carlo Rovelli / Книга С меки корици
common.buy 11.53 € 22.55 лв
Censorship in South Asia Raminder Kaur / Книга С меки корици
common.buy 25.03 € 48.95 лв
Jane Austen and her Works Sarah Tytler / Книга С твърди корици
common.buy 167.88 € 328.35 лв
Nondeterministic Mechanics Isaac Elishakoff / Книга С твърди корици
common.buy 162.71 € 318.23 лв
Color Me Jane Jacqui Oakley / Книга С меки корици
common.buy 11.06 € 21.64 лв
Surgery, Assisted Reproductive Technology and Infertility Gerard S. Letterie / Книга С твърди корици
common.buy 256.12 € 500.93 лв
Annotated Bibliography of International Programme Evaluation Craig Russon / Книга С меки корици
common.buy 108.56 € 212.32 лв
Counting and Configurations Jiri Herman / Книга С меки корици
common.buy 111.61 € 218.29 лв
Notes, Critical And Practical, On The Book Of Numbers George Bush / Книга С меки корици
common.buy 38.27 € 74.85 лв
Deformations of Railroad Tracks and the Means for Remedying Them G CU NOT / Книга С твърди корици
common.buy 31.60 € 61.80 лв

Вход

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

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

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

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

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