Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Verified Functional Programming in Agda

Name: Verified Functional Programming in Agda
Brand: Morgan & Claypool Publishers
SKU: 12519283
Price: 113.47 EUR
Availability: InStock
Author: Aaron Stump
ISBN: 9781970001273

Aaron Stump

Език

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

Книга С твърди корици

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

Издателство Morgan & Claypool Publishers, февруари 2016

Provides a systematic exposition of external and internal verification in Agda, suitable for undergr... Цялото описание

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

275 b

113.47 €

221.93 лв

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

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

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

Entlarvung der Simulation von Blindheit und Schwachsichtigkeit August Roth

С меки корици

16.75 € 32.77 лв

Os saberes-poderes em um jogo Massive Multiplayer Online Artur Alves De Oliveira Chagas

С меки корици

61.23 € 119.76 лв

Geruch nach Kreide Jürgen Schmidt

С меки корици

10.60 € 20.73 лв

Sukces jest dla ciebie Hawkins David R.

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

13.75 € 26.90 лв

Jan Vančura Helena Albertová

С меки корици

8.32 € 16.28 лв

Les francs-tireurs de l'armée oubliée des Cognets

С меки корици

28.75 € 56.23 лв

UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE Sonia Chabra

С меки корици

72.51 € 141.81 лв

focolare è una bestia affamata Angelo Maria Perongini

С меки корици

10.39 € 20.32 лв

Provides a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. The book begins with an introduction to functional programming. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included.