Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verified Functional Programming in Agda

Język AngielskiAngielski
Książka Miękka
Książka Verified Functional Programming in Agda Aaron Stump
Kod Libristo: 12519282
Wydawnictwo Morgan & Claypool Publishers, luty 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Cały opis
? points 205 b
359.44 zł
Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Co drží Nizozemí Viktor Špaček / Książka Miękka
common.buy 15.09 zł
Wind Breaker 13 Jan-Christoph Müller / Książka Miękka
common.buy 27.78 zł
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Książka Twarda
common.buy 133.20 zł
Les missions au coeur du CPAS Thomaes-Lodefier / Książka Miękka
common.buy 243.75 zł
Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Książka Twarda
common.buy 56.07 zł
Ley de Régimen Jurídico del Sector Público / Książka Miękka
common.buy 89.80 zł
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Książka Miękka
common.buy 82.25 zł
CENT FOIS SUR LE METIER Jan BAETENS Książka Miękka
common.buy 66.04 zł
Reichenbach und seine Ortsteile Gero Fehlhauer / Książka Miękka
common.buy 76.61 zł
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Książka Miękka
common.buy 118.40 zł
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg / Książka Miękka
common.buy 66.75 zł
Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür / Książka Miękka
common.buy 131.99 zł
Janko Muzykant Sienkiewicz Henryk / Książka Miękka
common.buy 4.42 zł
Torrepeko zaldunak Alaitz Olaizola Borda / Książka Miękka
common.buy 63.62 zł
Paulo Freire und die Kritische Theorie Merlin Wolf / Książka Miękka
common.buy 76.61 zł
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Książka Miękka
common.buy 68.86 zł
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Książka Miękka
common.buy 370.81 zł
Theorie Et Applications Des Equipollences Laisant-C-A / Książka Miękka
common.buy 107.22 zł
Zapowiedź
Schöner ficken Axel Neustädter / Książka Miękka
common.buy 65.23 zł
Oriens Christianus 90 (2006) Hubert Kaufhold / Książka Miękka
common.buy 326.21 zł

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

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verified Functional Programming in Agda
Autor Aaron Stump
Język Angielski
Oprawa Książka - Miękka
Data wydania 2016
Liczba stron 284
EAN 9781970001242
ISBN 1970001240
Kod Libristo 12519282
Wydawnictwo Morgan & Claypool Publishers
Waga 540
Wymiary 191 x 235 x 20

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Verified Functional Programming in Agda Aaron Stump / Książka Twarda
common.buy 436.36 zł
Zapowiedź
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Książka Miękka
common.buy 57.08 zł
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Książka Miękka
common.buy 112.86 zł
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Książka Miękka
common.buy 51.64 zł
True Feelings Carolyn Mahaney / Książka Miękka
common.buy 59.39 zł
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Książka Twarda
common.buy 142.66 zł
Okanagan Slow Road Bernadette McDonald / Książka Miękka
common.buy 115.07 zł
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Książka Twarda
common.buy 516.00 zł
MY PEOPLE THE AMISH Joe Keim / Książka Miękka
common.buy 54.66 zł
Common Ground Donald V. Gaffney / Książka Miękka
common.buy 60.80 zł
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Książka Miękka
common.buy 142.66 zł
TOP
Bridgerton: When He Was Wicked Julia Quinn / Książka Miękka
common.buy 41.47 zł
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Książka Miękka
common.buy 190.28 zł
Master of the Eclipse Adnan / Książka Miękka
common.buy 51.64 zł
TOP
White Holes Carlo Rovelli / Książka Miękka
common.buy 46.00 zł
Censorship in South Asia Raminder Kaur / Książka Miękka
common.buy 106.51 zł
Jane Austen and her Works Sarah Tytler / Książka Twarda
common.buy 645.99 zł
Nondeterministic Mechanics Isaac Elishakoff / Książka Twarda
common.buy 656.26 zł
Color Me Jane Jacqui Oakley / Książka Miękka
common.buy 47.11 zł
Surgery, Assisted Reproductive Technology and Infertility Gerard S. Letterie / Książka Twarda
common.buy 1 037.25 zł
Annotated Bibliography of International Programme Evaluation Craig Russon / Książka Miękka
common.buy 437.97 zł
Counting and Configurations Jiri Herman / Książka Miękka
common.buy 449.75 zł
Notes, Critical And Practical, On The Book Of Numbers George Bush / Książka Miękka
common.buy 162.70 zł
Deformations of Railroad Tracks and the Means for Remedying Them G CU NOT / Książka Twarda
common.buy 134.40 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?