Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Verified Functional Programming in Agda

Sprache EnglischEnglisch
Buch Hardcover
Buch Verified Functional Programming in Agda Aaron Stump
Libristo-Code: 12519283
Verlag Morgan & Claypool Publishers, Februar 2016
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr... Vollständige Beschreibung
? points 288 b
117.49 € inkl. MwSt.
Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Entlarvung der Simulation von Blindheit und Schwachsichtigkeit August Roth / Buch Broschur
common.buy 24.69 €
Os saberes-poderes em um jogo Massive Multiplayer Online Artur Alves De Oliveira Chagas / Buch Broschur
common.buy 68.49 €
Geruch nach Kreide Jürgen Schmidt / Buch Broschur
common.buy 11.00 €
Sukces jest dla ciebie Hawkins David R. / Buch Hardcover
common.buy 14.29 €
Jan Vančura Helena Albertová / Buch Broschur
common.buy 8.49 €
Les francs-tireurs de l'armée oubliée des Cognets / Buch Broschur
common.buy 28.39 €
UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE Sonia Chabra / Buch Broschur
common.buy 80.89 €
focolare è una bestia affamata Angelo Maria Perongini / Buch Broschur
common.buy 10.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verified Functional Programming in Agda
Autor Aaron Stump
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2016
Anzahl der Seiten 284
EAN 9781970001273
ISBN 1970001275
Libristo-Code 12519283
Verlag Morgan & Claypool Publishers
Gewicht 633
Abmessungen 191 x 235 x 18

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Verified Functional Programming in Agda Aaron Stump / Buch Broschur
common.buy 87.29 €
Leukemia Cancer Classification Using Machine Learning Approach Shivani Patel / Buch Broschur
common.buy 48.69 €
Diabetic Living Diabetes Meals by the Plate Diabetic Living Editors / Buch Broschur
common.buy 20.49 €
Fly with Me: Adventure, Romance, Drama & Love Cortney R. Edwards / Buch Broschur
common.buy 12.59 €
Angling Reminiscences Thomas Tod Stoddart / Buch Broschur
common.buy 24.29 €
The Moral Landscape Sam Harris / Buch Broschur
common.buy 15.29 €
Stoke-On-Trent & Macclesfield Ordnance Survey / Drucksachen Karte
common.buy 14.69 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?