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 Livro de capa dura
Livro Verified Functional Programming in Agda Aaron Stump
Código Libristo: 12519283
Editoras Morgan & Claypool Publishers, fevereiro 2016
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr... Descrição completa
? points 248 b
102.86 €
Armazenamento externo Envio em 10-18 dias

Até 30 dias para devoluções

Os clientes também compraram

Entlarvung der Simulation von Blindheit und Schwachsichtigkeit August Roth / Livro Capa mole
common.buy 21.37 €
Os saberes-poderes em um jogo Massive Multiplayer Online Artur Alves De Oliveira Chagas / Livro Capa mole
common.buy 65.77 €
Geruch nach Kreide Jürgen Schmidt / Livro Capa mole
common.buy 8.91 €
Sukces jest dla ciebie Hawkins David R. / Livro Livro de capa dura
common.buy 10.83 €
Jan Vančura Helena Albertová / Livro Capa mole
common.buy 7.69 €
Les francs-tireurs de l'armée oubliée des Cognets / Livro Capa mole
common.buy 22.79 €
UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE Sonia Chabra / Livro Capa mole
common.buy 69.82 €
focolare è una bestia affamata Angelo Maria Perongini / Livro Capa mole
common.buy 8.40 €

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.

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 - Livro de capa dura
Data de emissão 2016
Número de páginas 284
EAN 9781970001273
ISBN 1970001275
Código Libristo 12519283
Editoras Morgan & Claypool Publishers
Peso 633
Dimensões 191 x 235 x 18

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 Capa mole
common.buy 77.22 €
Leukemia Cancer Classification Using Machine Learning Approach Shivani Patel / Livro Capa mole
common.buy 42.05 €
Diabetic Living Diabetes Meals by the Plate Diabetic Living Editors / Livro Capa mole
common.buy 15.80 €
Fly with Me: Adventure, Romance, Drama & Love Cortney R. Edwards / Livro Capa mole
common.buy 10.33 €
Angling Reminiscences Thomas Tod Stoddart / Livro Capa mole
common.buy 21.48 €
The Moral Landscape Sam Harris / Livro Capa mole
common.buy 13.47 €
Stoke-On-Trent & Macclesfield Ordnance Survey / Artigos impressos Mapa
common.buy 13.06 €

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?