«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Verified Functional Programming in Agda

Idioma InglésInglés
Libro Tapa blanda
Libro Verified Functional Programming in Agda Aaron Stump
Código Libristo: 12519282
Editores Morgan & Claypool Publishers, febrero 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Descripción completa
? points 214 b
87.29 €
Almacenamiento externo Envío en 9-15 días

Política de devolución de 30 días

Clientes que también han comprado

Co drží Nizozemí Viktor Špaček / Libro Tapa blanda
common.buy 3.79 €
Wind Breaker 13 Jan-Christoph Müller / Libro Tapa blanda
common.buy 7.29 €
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Libro Tapa dura
common.buy 34.49 €
Les missions au coeur du CPAS Thomaes-Lodefier / Libro Tapa blanda
common.buy 57.69 €
Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Libro Tapa dura
common.buy 14.49 €
Ley de Régimen Jurídico del Sector Público / Libro Tapa blanda
common.buy 20.39 €
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Libro Tapa blanda
common.buy 19.39 €
CENT FOIS SUR LE METIER Jan BAETENS Libro Tapa blanda
common.buy 15.59 €
Reichenbach und seine Ortsteile Gero Fehlhauer / Libro Tapa blanda
common.buy 19.89 €
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Libro Tapa blanda
common.buy 28.79 €
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg / Libro Tapa blanda
common.buy 16.29 €
Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür / Libro Tapa blanda
common.buy 33.89 €
Janko Muzykant Sienkiewicz Henryk / Libro Tapa blanda
common.buy 0.99 €
Torrepeko zaldunak Alaitz Olaizola Borda / Libro Tapa blanda
common.buy 15.09 €
Paulo Freire und die Kritische Theorie Merlin Wolf / Libro Tapa blanda
common.buy 19.89 €
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Libro Tapa blanda
common.buy 17.89 €
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Libro Tapa blanda
common.buy 96.29 €
Theorie Et Applications Des Equipollences Laisant-C-A / Libro Tapa blanda
common.buy 26.09 €
Próximamente
Schöner ficken Axel Neustädter / Libro Tapa blanda
common.buy 16.99 €
Oriens Christianus 90 (2006) Hubert Kaufhold / Libro Tapa blanda
common.buy 81.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

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Verified Functional Programming in Agda
Autor Aaron Stump
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2016
Número de páginas 284
EAN 9781970001242
ISBN 1970001240
Código Libristo 12519282
Editores Morgan & Claypool Publishers
Peso 540
Dimensiones 191 x 235 x 20

Categorías

Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Verified Functional Programming in Agda Aaron Stump / Libro Tapa dura
common.buy 119.59 €
Próximamente
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Libro Tapa blanda
common.buy 14.49 €
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Libro Tapa blanda
common.buy 31.49 €
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Libro Tapa blanda
common.buy 12.69 €
True Feelings Carolyn Mahaney / Libro Tapa blanda
common.buy 15.09 €
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Libro Tapa dura
common.buy 34.79 €
Okanagan Slow Road Bernadette McDonald / Libro Tapa blanda
common.buy 29.69 €
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Libro Tapa dura
common.buy 141.39 €
MY PEOPLE THE AMISH Joe Keim / Libro Tapa blanda
common.buy 13.49 €
Common Ground Donald V. Gaffney / Libro Tapa blanda
common.buy 14.99 €
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Libro Tapa blanda
common.buy 34.79 €
Popular
Bridgerton: When He Was Wicked Julia Quinn / Libro Tapa blanda
common.buy 10.99 €
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Libro Tapa blanda
common.buy 47.49 €
Master of the Eclipse Adnan / Libro Tapa blanda
common.buy 12.69 €
Popular
White Holes Carlo Rovelli / Libro Tapa blanda
common.buy 11.69 €
Censorship in South Asia Raminder Kaur / Libro Tapa blanda
common.buy 25.89 €
Jane Austen and her Works Sarah Tytler / Libro Tapa dura
common.buy 176.99 €
Nondeterministic Mechanics Isaac Elishakoff / Libro Tapa dura
common.buy 169.09 €
Color Me Jane Jacqui Oakley / Libro Tapa blanda
common.buy 11.69 €
Surgery, Assisted Reproductive Technology and Infertility Gerard S. Letterie / Libro Tapa dura
common.buy 257.99 €
Annotated Bibliography of International Programme Evaluation Craig Russon / Libro Tapa blanda
common.buy 112.79 €
Counting and Configurations Jiri Herman / Libro Tapa blanda
common.buy 116.19 €
Notes, Critical And Practical, On The Book Of Numbers George Bush / Libro Tapa blanda
common.buy 39.69 €
Deformations of Railroad Tracks and the Means for Remedying Them G CU NOT / Libro Tapa dura
common.buy 32.79 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?