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

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Types for Proofs and Programs Jean-Christophe Filliatre
Código Libristo: 01561624
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janeiro 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Descrição completa
? points 129 b
53.13 €
Armazenamento externalo em pequenas quantidades Envio em 11-15 dias

Até 30 dias para devoluções

Os clientes também compraram

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Livro Capa mole
common.buy 13.53 €
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Livro Capa mole
common.buy 29.39 €
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Livro Capa mole
common.buy 15.25 €
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Livro Capa mole
common.buy 24.64 €
LA CIUDAD DE POLVO DE ESTRELLAS SUMMERS / Livro Livro
common.buy 16.96 €
Rol' kompetentnostnoj ocenki v kar'ere personala torgovoj organizacii Galina Jur'evna Coj / Livro Capa mole
common.buy 46.06 €
Propheten aus dem Alten Testament der Bibel Antonia Katharina Tessnow / Livro Capa mole
common.buy 25.25 €
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Livro Capa mole
common.buy 44.04 €
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Livro Capa mole
common.buy 41.01 €
Em breve
Color Brain / Jogo/brinquedo Jogo
common.buy 24.44 €
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Livro Capa mole
common.buy 15.75 €
Petite Trotteuse Michele Lesbre / Livro Capa mole
common.buy 9.99 €

The 17 revised full papers presented here cover 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 Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2006
Número de páginas 280
EAN 9783540314288
ISBN 3540314288
Código Libristo 01561624
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 910
Dimensões 155 x 235 x 17

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

The Omega's Candy Shop / Livro Capa mole
common.buy 12.52 €
Construction Workers Emma Less / Livro Livro de capa dura
common.buy 29.39 €
Novo
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Livro Capa mole
common.buy 194.27 €
Kamandi by Jack Kirby Vol. 1 Jack Kirby / Livro Capa mole
common.buy 42.42 €
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Livro Capa mole
common.buy 16.46 €
Country Scenes in Acrylic Jerry Yarnell / Livro Capa mole
common.buy 16.16 €
Economic Evaluation of Cancer Drugs Khan / Livro Livro de capa dura
common.buy 157.30 €
Homology of Banach and Topological Algebras A.Y. Helemskii / Livro Livro de capa dura
common.buy 48.79 €
Technology and Employment Practices in Developing Countries Hubert Schmitz / Livro Livro de capa dura
common.buy 152.55 €
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Livro Capa mole
common.buy 10.30 €
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Livro Capa mole
common.buy 65.16 €
Secrets Jesus Shared Jennifer Kennedy Dean / Livro Capa mole
common.buy 16.96 €
Treatise of the Suffocation of the Matrix, Commonly Called, the Fits of the Mother. Wherein Are Not Only Explained the Cause, Progress, and Danger of M.D. Lockman / Livro Capa mole
common.buy 11.00 €
Experimental Philosophy and its Critics Joachim Horvath / Livro Livro de capa dura
common.buy 205.08 €
Policy Integration for Complex Environmental Problems Helen Briassoulis / Livro Livro de capa dura
common.buy 205.08 €
Chemical Evolution of the Universe Royal Society of Chemistry / Livro Livro de capa dura
common.buy 221.55 €

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?