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
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Verified Functional Programming in Agda

Sprache EnglischEnglisch
Buch Broschur
Buch Verified Functional Programming in Agda Aaron Stump
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
? points 177 b
72.49 € inkl. MwSt.
Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Buch Hardcover
common.buy 12.29 €
Arbeitsmedizin - Kurs B Gerd J. Enderle / Buch Broschur
common.buy 31.00 €
CENT FOIS SUR LE METIER Jan BAETENS Buch Broschur
common.buy 12.49 €
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Buch Broschur
common.buy 15.59 €
Ley de Régimen Jurídico del Sector Público / Buch Broschur
common.buy 17.49 €
Reichenbach und seine Ortsteile Gero Fehlhauer / Buch Broschur
common.buy 19.99 €
Pero gelové Pentel EnerGel náhradní náplň LR7 - purpurová / Papier- und Schreibwaren Papier- und Schreibwaren
common.buy 1.39 €
Co drží Nizozemí Viktor Špaček / Buch Broschur
common.buy 3.19 €
Wind Breaker 13 Jan-Christoph Müller / Buch Broschur
common.buy 7.50 €
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Buch Hardcover
common.buy 29.19 €
Les missions au coeur du CPAS Thomaes-Lodefier / Buch Broschur
common.buy 46.59 €
Musica Elettronica e Sound Design - Teoria e Pratica con Max 9 - Volume 1 (Quinta Edizione) Maurizio Giri / Buch Broschur
common.buy 43.59 €
Tubbz Kachnička plyšová Jurský park - Trex / Spiel/Spielzeug Spielzeug
common.buy 25.49 €
THE ART OF : LE CHÂTEAU DANS LE CIEL (ARTBOOK VO JAPONAIS) / Buch Broschur
common.buy 44.89 €
Paulo Freire und die Kritische Theorie Merlin Wolf / Buch Broschur
common.buy 20.00 €
Oriens Christianus 90 (2006) Hubert Kaufhold / Buch Broschur
common.buy 72.00 €
Demnächst
Schöner ficken Axel Neustädter / Buch Broschur
common.buy 16.99 €
El misterio del mar. Vol. II Stoker / Buch Broschur
common.buy 19.19 €
Theorie Et Applications Des Equipollences Laisant-C-A / Buch Broschur
common.buy 21.49 €
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Buch Broschur
common.buy 76.09 €
Abt Georg Joseph Vogler Karl Emil von Schafhäutl / Buch Broschur
common.buy 25.90 €
Eines Erbarn Wolweisen Radts der Keyserlichen Freyen Reichs Stadt Lübeck kurtzer bericht, was hochwichtiger gebrechen und unmessiger grosser beschwer Carl von Reifitz / Buch Broschur
common.buy 29.00 €
Der kommunistische Widerstand gegen die NS-Diktatur Azad Calik / Buch Broschur
common.buy 17.95 €
Torrepeko zaldunak Alaitz Olaizola Borda / Buch Broschur
common.buy 12.09 €

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

Das könnte Sie auch interessieren

Verified Functional Programming in Agda Aaron Stump / Buch Hardcover
common.buy 99.09 €
Problems in Structural Inorganic Chemistry LI / Buch Broschur
common.buy 71.49 €
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Buch Broschur
common.buy 24.69 €
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Buch Broschur
common.buy 9.79 €
True Feelings Carolyn Mahaney / Buch Broschur
common.buy 11.89 €
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Buch Hardcover
common.buy 28.29 €
Okanagan Slow Road Bernadette McDonald / Buch Broschur
common.buy 23.79 €
Demnächst
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Buch Broschur
common.buy 11.49 €
MY PEOPLE THE AMISH Joe Keim / Buch Broschur
common.buy 10.29 €
Unfailing Friendship Kayla J Brown / Buch Broschur
common.buy 13.59 €
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Buch Hardcover
common.buy 113.59 €
Stick It!: My Life of Sex, Drums, and Rock 'n' Roll Carmine Appice / Buch Broschur
common.buy 13.89 €
Common Ground Donald V. Gaffney / Buch Broschur
common.buy 11.49 €
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Buch Broschur
common.buy 28.29 €
Intra-Africa Migrations Inocent Moyo / Buch Hardcover
common.buy 209.49 €
Top
Bridgerton: When He Was Wicked Julia Quinn / Buch Broschur
common.buy 8.29 €
Tiny Science: Nanotechnology ANNA CLAYBOURNE / Buch Broschur
common.buy 9.19 €
Sociology of Law as the Science of Norms Hyden / Buch Hardcover
common.buy 209.49 €
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Buch Broschur
common.buy 36.89 €
Master of the Eclipse Adnan / Buch Broschur
common.buy 9.79 €
White Holes Carlo Rovelli / Buch Broschur
common.buy 8.49 €
Censorship in South Asia Raminder Kaur / Buch Broschur
common.buy 21.09 €
Jane Austen and her Works Sarah Tytler / Buch Hardcover
common.buy 142.29 €
Mansfield's Book of Manly Men Stephen Mansfield / Buch Hardcover
common.buy 18.59 €

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?