Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Verified Functional Programming in Agda

Língua InglêsInglês
Livro Capa mole
Livro Verified Functional Programming in Agda Aaron Stump
Código Libristo: 12519282
Editoras Morgan & Claypool Publishers, fevereiro 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Descrição completa
? points 186 b
76.98 €
Armazenamento externo Envio em 9-15 dias

Até 30 dias para devoluções

Os clientes também compraram

Co drží Nizozemí Viktor Špaček / Livro Capa mole
common.buy 3.42 €
Wind Breaker 13 Jan-Christoph Müller / Livro Capa mole
common.buy 6.05 €
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Livro Livro de capa dura
common.buy 31.31 €
Les missions au coeur du CPAS Thomaes-Lodefier / Livro Capa mole
common.buy 49.80 €
Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Livro Livro de capa dura
common.buy 13.12 €
Ley de Régimen Jurídico del Sector Público / Livro Capa mole
common.buy 18.48 €
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Livro Capa mole
common.buy 16.76 €
CENT FOIS SUR LE METIER Jan BAETENS Livro Capa mole
common.buy 13.53 €
Reichenbach und seine Ortsteile Gero Fehlhauer / Livro Capa mole
common.buy 16.96 €
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Livro Capa mole
common.buy 23.73 €
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg / Livro Capa mole
common.buy 14.03 €
Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür / Livro Capa mole
common.buy 29.39 €
Janko Muzykant Sienkiewicz Henryk / Livro Capa mole
common.buy 1.00 €
Torrepeko zaldunak Alaitz Olaizola Borda / Livro Capa mole
common.buy 13.02 €
Paulo Freire und die Kritische Theorie Merlin Wolf / Livro Capa mole
common.buy 16.96 €
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Livro Capa mole
common.buy 15.25 €
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Livro Capa mole
common.buy 82.03 €
Theorie Et Applications Des Equipollences Laisant-C-A / Livro Capa mole
common.buy 22.82 €
Em breve
Schöner ficken Axel Neustädter / Livro Capa mole
common.buy 14.44 €
Oriens Christianus 90 (2006) Hubert Kaufhold / Livro Capa mole
common.buy 69.10 €

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

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Verified Functional Programming in Agda
Autor Aaron Stump
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2016
Número de páginas 284
EAN 9781970001242
ISBN 1970001240
Código Libristo 12519282
Editoras Morgan & Claypool Publishers
Peso 540
Dimensões 191 x 235 x 20

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Ciência informática
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Verified Functional Programming in Agda Aaron Stump / Livro Livro de capa dura
common.buy 102.54 €
Em breve
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Livro Capa mole
common.buy 12.52 €
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Livro Capa mole
common.buy 26.46 €
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Livro Capa mole
common.buy 10.60 €
True Feelings Carolyn Mahaney / Livro Capa mole
common.buy 13.02 €
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Livro Livro de capa dura
common.buy 30.20 €
Okanagan Slow Road Bernadette McDonald / Livro Capa mole
common.buy 25.55 €
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Livro Livro de capa dura
common.buy 121.23 €
MY PEOPLE THE AMISH Joe Keim / Livro Capa mole
common.buy 11.20 €
Common Ground Donald V. Gaffney / Livro Capa mole
common.buy 12.52 €
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Livro Capa mole
common.buy 28.58 €
Principal
Bridgerton: When He Was Wicked Julia Quinn / Livro Capa mole
common.buy 8.98 €
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Livro Capa mole
common.buy 40.00 €
Master of the Eclipse Adnan / Livro Capa mole
common.buy 10.60 €
Principal
White Holes Carlo Rovelli / Livro Capa mole
common.buy 9.39 €
Censorship in South Asia Raminder Kaur / Livro Capa mole
common.buy 22.52 €
Jane Austen and her Works Sarah Tytler / Livro Livro de capa dura
common.buy 151.74 €
Nondeterministic Mechanics Isaac Elishakoff / Livro Livro de capa dura
common.buy 145.78 €
Color Me Jane Jacqui Oakley / Livro Capa mole
common.buy 9.69 €
Surgery, Assisted Reproductive Technology and Infertility Gerard S. Letterie / Livro Livro de capa dura
common.buy 231.45 €
Annotated Bibliography of International Programme Evaluation Craig Russon / Livro Capa mole
common.buy 97.28 €
Counting and Configurations Jiri Herman / Livro Capa mole
common.buy 99.81 €
Notes, Critical And Practical, On The Book Of Numbers George Bush / Livro Capa mole
common.buy 34.54 €
Deformations of Railroad Tracks and the Means for Remedying Them G CU NOT / Livro Livro de capa dura
common.buy 28.48 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?