Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Verified Functional Programming in Agda

Name: Verified Functional Programming in Agda
Brand: Morgan & Claypool Publishers
SKU: 12519282
Price: 87.29 EUR
Availability: InStock
Author: Aaron Stump
ISBN: 9781970001242

Aaron Stump

Sprache

Englisch

Buch Broschur

Libristo-Code: 12519282

Verlag Morgan & Claypool Publishers, Februar 2016

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Vollständige Beschreibung

Libristo-Code: 12519282

214 b

87.29 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Co drží Nizozemí Viktor Špaček

Broschur

3.79 €

Wind Breaker 13 Jan-Christoph Müller

Broschur

7.50 €

Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов

Hardcover

34.49 €

Les missions au coeur du CPAS Thomaes-Lodefier

Broschur

59.09 €

Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová

Hardcover

14.49 €

Ley de Régimen Jurídico del Sector Público

Broschur

21.69 €

L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn

Broschur

19.89 €

CENT FOIS SUR LE METIER Jan BAETENS Buch

Broschur

15.99 €

Reichenbach und seine Ortsteile Gero Fehlhauer

Broschur

19.99 €

Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet

Broschur

28.79 €

Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg

Broschur

16.29 €

Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür

Broschur

32.29 €

Janko Muzykant Sienkiewicz Henryk

Broschur

0.99 €

Torrepeko zaldunak Alaitz Olaizola Borda

Broschur

15.39 €

Paulo Freire und die Kritische Theorie Merlin Wolf

Broschur

20.00 €

Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel

Broschur

17.95 €

Estudio de la estabilidad oxidativa de las almendras Ana Beltrán

Broschur

91.29 €

Theorie Et Applications Des Equipollences Laisant-C-A

Broschur

26.09 €

Schöner ficken Axel Neustädter

Broschur

16.99 €

Oriens Christianus 90 (2006) Hubert Kaufhold

Broschur

79.59 €

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

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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 - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 284

EAN 9781970001242

ISBN 1970001240

Libristo-Code 12519282

Verlag Morgan & Claypool Publishers

Gewicht 540

Abmessungen 191 x 235 x 20

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