Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Verified Functional Programming in Agda

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verified Functional Programming in Agda Aaron Stump
Libristo kód: 12519282
Nakladatelství Morgan & Claypool Publishers, únor 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Celý popis
? points 196 b
1 955 Kč
Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Co drží Nizozemí Viktor Špaček / Kniha Brožovaná
common.buy 83 Kč
Wind Breaker 13 Jan-Christoph Müller / Kniha Brožovaná
common.buy 148 Kč
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Kniha Pevná
common.buy 758 Kč
Les missions au coeur du CPAS Thomaes-Lodefier / Kniha Brožovaná
common.buy 1 387 Kč
Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Kniha Pevná
common.buy 319 Kč
Ley de Régimen Jurídico del Sector Público / Kniha Brožovaná
common.buy 511 Kč
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Kniha Brožovaná
common.buy 468 Kč
CENT FOIS SUR LE METIER Jan BAETENS Kniha Brožovaná
common.buy 376 Kč
Reichenbach und seine Ortsteile Gero Fehlhauer / Kniha Brožovaná
common.buy 410 Kč
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Kniha Brožovaná
common.buy 641 Kč
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg / Kniha Brožovaná
common.buy 361 Kč
Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür / Kniha Brožovaná
common.buy 712 Kč
Janko Muzykant Sienkiewicz Henryk / Kniha Brožovaná
common.buy 25 Kč
Torrepeko zaldunak Alaitz Olaizola Borda / Kniha Brožovaná
common.buy 362 Kč
Paulo Freire und die Kritische Theorie Merlin Wolf / Kniha Brožovaná
common.buy 410 Kč
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Kniha Brožovaná
common.buy 369 Kč
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Kniha Brožovaná
common.buy 1 987 Kč
Theorie Et Applications Des Equipollences Laisant-C-A / Kniha Brožovaná
common.buy 582 Kč
Připravujeme
Schöner ficken Axel Neustädter / Kniha Brožovaná
common.buy 349 Kč
Oriens Christianus 90 (2006) Hubert Kaufhold / Kniha Brožovaná
common.buy 1 856 Kč

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

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verified Functional Programming in Agda
Autor Aaron Stump
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2016
Počet stran 284
EAN 9781970001242
ISBN 1970001240
Libristo kód 12519282
Nakladatelství Morgan & Claypool Publishers
Váha 540
Rozměry 191 x 235 x 20

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Verified Functional Programming in Agda Aaron Stump / Kniha Pevná
common.buy 2 483 Kč
Připravujeme
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Kniha Brožovaná
common.buy 303 Kč
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Kniha Brožovaná
common.buy 642 Kč
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Kniha Brožovaná
common.buy 275 Kč
True Feelings Carolyn Mahaney / Kniha Brožovaná
common.buy 315 Kč
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Kniha Pevná
common.buy 772 Kč
Okanagan Slow Road Bernadette McDonald / Kniha Brožovaná
common.buy 618 Kč
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Kniha Pevná
common.buy 2 936 Kč
MY PEOPLE THE AMISH Joe Keim / Kniha Brožovaná
common.buy 292 Kč
Common Ground Donald V. Gaffney / Kniha Brožovaná
common.buy 325 Kč
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Kniha Brožovaná
common.buy 772 Kč
Top
Bridgerton: When He Was Wicked Julia Quinn / Kniha Brožovaná
common.buy 219 Kč
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Kniha Brožovaná
common.buy 969 Kč
Master of the Eclipse Adnan / Kniha Brožovaná
common.buy 257 Kč
Top
White Holes Carlo Rovelli / Kniha Brožovaná
common.buy 227 Kč
Censorship in South Asia Raminder Kaur / Kniha Brožovaná
common.buy 576 Kč
Jane Austen and her Works Sarah Tytler / Kniha Pevná
common.buy 3 676 Kč
Nondeterministic Mechanics Isaac Elishakoff / Kniha Pevná
common.buy 3 532 Kč
Color Me Jane Jacqui Oakley / Kniha Brožovaná
common.buy 251 Kč
Surgery, Assisted Reproductive Technology and Infertility Gerard S. Letterie / Kniha Pevná
common.buy 5 607 Kč
Annotated Bibliography of International Programme Evaluation Craig Russon / Kniha Brožovaná
common.buy 2 357 Kč
Counting and Configurations Jiri Herman / Kniha Brožovaná
common.buy 2 417 Kč
Notes, Critical And Practical, On The Book Of Numbers George Bush / Kniha Brožovaná
common.buy 881 Kč
Deformations of Railroad Tracks and the Means for Remedying Them G CU NOT / Kniha Pevná
common.buy 728 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?