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 €
phone Contacto phoneComo comprar

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Types for Proofs and Programs Thorsten Altenkirch
Código Libristo: 01569105
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, outubro 2007
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Descrição completa
? points 122 b
50.63 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Lecturas para estrenarse en psicología GEMMA Y OTROS PEIRO BALLESTIN / Livro Capa mole
common.buy 15.89 €
Deathbook Curval / Livro Capa mole
common.buy 4.65 €
MAPA TOP 25 SIERRA Y CAÑONES DE GUARA II ZONA ORIENTAL PRAMES / Livro Capa mole
common.buy 12.65 €
Piratería en la antigüedad : un ensayo sobre historia del Mediterráneo Henry Ardene Ormerod / Livro Capa mole
common.buy 20.35 €
Como Animar um Capricorniano Mary English / Livro Capa mole
common.buy 40.11 €
Comentarios a la constitución "Gaudium et spes" Ángel Herrera Oria / Livro Livro de capa dura
common.buy 17.01 €
Limitsiz Yasam Nick Vujicic / Livro Capa mole
common.buy 10.02 €
SparkofPhoenix: 200 Dinge in Minecraft, die du noch nicht wusstest SparkofPhoenix / Livro Capa mole
common.buy 10.83 €
Extraits de margousier (Azadirachta indica A. Juss) pour le traitement des semences Ruth Abreu Araújo / Livro Capa mole
common.buy 31.49 €
Principal
Sur le jeu d'acteur Meisner SANFORD / Livro Capa mole
common.buy 24.91 €
Die Bedeutung von Musik für Kinder in ihrer Entwicklung und in ihrem lebensweltlichen Kontext Monika Jenke / Livro Capa mole
common.buy 22.17 €
El hombre que se habita Adriano Meschi / Livro Capa mole
common.buy 15.08 €
Escape Rooms für zu Hause selbst gestalten Christine Sinnwell-Backes / Livro Capa mole
common.buy 7.48 €
Thematische woordenschat Nederlands-Afrikaans - 9000 woorden Andrey Taranov / Livro Capa mole
common.buy 13.26 €
Nimetoka Italia ! L'Epopea Dei Volontari e Missionari Italiani Nella Guerra D'uganda con Francesca Faramondi / Livro Capa mole
common.buy 17.51 €
Desarrollo global de software Félix O. García Rubio / Livro Capa mole
common.buy 31.69 €
dito e la luna. Riflessioni su filosofia, fede e politica Emanuele Severino / Livro Capa mole
common.buy 15.18 €
Eisenbahn-Geleise A. Haarman / Livro Capa mole
common.buy 24.40 €
Zázraky Valentín Šefčík / Livro Livro de capa dura
common.buy 10.73 €
WALTER D. NAG WIND ENSEMBLE SCORE/PARTS WALTER Livro binding.
common.buy 40.60 €
L'Afrique noire victime de ses péchés Oulatta / Livro Capa mole
common.buy 24.50 €
PORTRAIT D'UN MILLIARDAIRE MALHEUREUX BOSQUET / Livro Capa mole
common.buy 71.50 €
Megúszós kaják Fördős Zé / Livro Livro de capa dura
common.buy 14.98 €
Histoire de l'Afrique Septentrionale (Berberie). T 1 (Ed.1888) Ernest Mercier / Livro Capa mole
common.buy 26.93 €

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006.§The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. All current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

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 Types for Proofs and Programs
Autor Thorsten Altenkirch, Conor McBride
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2007
Número de páginas 272
EAN 9783540744634
ISBN 3540744630
Código Libristo 01569105
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 900
Dimensões 155 x 235 x 18

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
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 > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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

Internet of Things, Smart Spaces, and Next Generation Networking Sergey Andreev / Livro Capa mole
common.buy 46.07 €
Radiation and Cellular Control Processes J. Kiefer / Livro Capa mole
common.buy 91.95 €
Gustavus Adolphus: The Life and Legacy of Sweden's Most Famous King Charles River Editors / Livro Capa mole
common.buy 9.61 €
Champ Ferguson Thurman Sensing / Livro Capa mole
common.buy 41.21 €
What Does the Referee Do? Margaret MacDonald / Livro Capa mole
common.buy 7.08 €
Firefly Wildlife Atlas: A Comprehensive Guide to Animal Habitats John Farndon / Livro Capa mole
common.buy 12.45 €
Cultures of Sustainability and Wellbeing Paola Spinozzi / Livro Livro de capa dura
common.buy 181.49 €
The Law of Bills of Sale: With an Appendix of Precedents and Statutes / By George Edward Lyon and Joseph Haworth Redman. George Edward Lyon / Livro Capa mole
common.buy 18.63 €
60 Subtraction Worksheets with 2-Digit Minuends, 2-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Livro Capa mole
common.buy 11.03 €
The Top 50 Underrated NFL Wide Receivers MR Rashad Skyla Mitchell / Livro Capa mole
common.buy 5.66 €
Some Brief Remarks upon Sundry Important Subjects John Griffith / Livro Capa mole
common.buy 13.46 €
Brush with the Chinese and What Came of it G. A. Henty / Livro Livro de capa dura
common.buy 12.75 €
100 First Dinosaur Words DK / Livro Livro concertina
common.buy 7.89 €
Opinionated Guide To London Green Spaces Marco Kesseler / Livro Capa mole
common.buy 9.31 €
Salman Rushdie and Translation Jenni Ramone / Livro Livro de capa dura
common.buy 167.21 €
Prosperity And How It Must Come: Economic Facts For Workers And Preachers (1914) Roger Ward Babson / Livro Capa mole
common.buy 19.74 €
Essential Touring Car RC Racer's Guide Dave B Stevens / Livro Capa mole
common.buy 33.72 €
Clostridioides difficile Infection Guido Granata / Livro Livro de capa dura
common.buy 37.67 €
Bob + Barb Present... Books! Books!! Books!!! Bob and Barb Studios / Livro Livro de capa dura
common.buy 20.35 €
Principal
Miraculous: Tales of Ladybug & Cat Noir 2 Zag / Livro Capa mole
common.buy 9.11 €
VMware Cloud on AWS Christophe Lombard / Livro Capa mole
common.buy 36.76 €
Toddlers Fun - A Black Children's Coloring Book Kyle Davis / Livro Capa mole
common.buy 6.88 €
Tracker Jeffery Deaver / Livro Capa mole
common.buy 12.14 €
The Warlord Era Laszlo Montgomery / Livro Capa mole
common.buy 14.98 €

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?