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 Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Types for Proofs and Programs Marino Miculan
Código Libristo: 01567627
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2008
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Descrição completa
? points 132 b
54.42 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Principal
Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins / Livro Livro de capa dura
common.buy 6.47 €
Aru Shah e il canto della morte Roshani Chokshi / Livro Capa mole
common.buy 17.70 €
Principal
Nexus Yuval Noah Harari / Livro Livro de capa dura
common.buy 22.25 €
Zápisník Black Red tečkovaný L Artigos de papelaria Artigos de papelaria
common.buy 8.49 €
You Are My TRUTH Felicitas Brandt / Livro Capa mole
common.buy 16.58 €
E-biznes Steve West / Livro Capa mole
common.buy 13.85 €
Ataque a un enemigo de la libertad Cicerón / Livro Capa mole
common.buy 9.20 €
Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel / Livro Capa mole
common.buy 29.84 €
Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla / Livro Capa mole
common.buy 35.91 €
El libro de los hechizos Cecilia Pisos / Livro Capa mole
common.buy 10.71 €
Réponse du blé semé tardivement ? l'azote Deepak Sapkota / Livro Capa mole
common.buy 35.91 €
Puccini: La Boheme/Madame Butterfly RPO/Abell / Áudio CD de áudio
common.buy 27.61 €
NIKOLA GRANDMONTAGNE / Livro Capa mole
common.buy 17.49 €
OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Livro binding.
common.buy 7.27 €
iPod Jude D. Biersdorfer / Livro Capa mole
common.buy 18.30 €
El accidente del teletransporte Ned Beauman / Livro Capa mole
common.buy 27.00 €
Szerafina és a Fekete Köpeny Robert Beatty / Livro Livro de capa dura
common.buy 6.26 €
Lettres Politiques Adressees A Timon Theophraste / Livro Capa mole
common.buy 16.79 €
František Skála - Grafika František Skála / Livro Folha
common.buy 13.55 €
de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A / Livro Capa mole
common.buy 13.65 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization 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 Marino Miculan, Ivan Scagnetto, Furio Honsell
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2008
Número de páginas 203
EAN 9783540680840
ISBN 3540680845
Código Libristo 01567627
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 343
Dimensões 155 x 235 x 14

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 > Programação & engenharia informática > Engenharia de programas
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
Informática & tecnologia da informação > Sistemas operativos
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

High-Risers: Cabrini-Green and the Fate of American Public Housing Ben Austen / Livro Capa mole
common.buy 16.18 €
Principal
Building the Medieval World Christine Sciacca / Livro Livro de capa dura
common.buy 16.99 €
Jeremy Blake / Livro Capa mole
common.buy 10.61 €
Hacking Your Kitchen! Giant Blank Recipe Book FLASH PLANNERS AND N / Livro Capa mole
common.buy 10.11 €
Globe Trotter's Records - Travel Journal Hawaii Edition DAYBOOK HEAVEN BOOKS / Livro Capa mole
common.buy 8.69 €
Principal
Ego is the Enemy Ryan Holiday / Livro Capa mole
common.buy 11.22 €
Household Stories Wilhelm Grimm / Livro Capa mole
common.buy 24.58 €
Fights for the Flag William Henry Fitchett / Livro Capa mole
common.buy 26.50 €
Requiem for Innocence Bv Lawson / Livro Capa mole
common.buy 13.55 €
Combat Chronology 1941-1945 (Part 2 of 2) Office of Air Force History / Livro Capa mole
common.buy 19.32 €
Raising a Soccer Star: A Complete Guide to Unlocking Your Child's Potential Mariana Correa / Livro Capa mole
common.buy 17.49 €
Hold On Everyone... Christmas Is On Its Way Sue Messruther / Livro Capa mole
common.buy 13.04 €
Optimal Oil Pipeline Alignment In Ankleshwar Using RS & GIS techniques Anam Akhtar / Livro Capa mole
common.buy 33.99 €
Jeremy Jackrabbit Jumps Joyfully Aimee Hughes / Livro Capa mole
common.buy 7.68 €
Fresh Designs for Woodworking Thomas Haapapuro / Livro Capa mole
common.buy 16.18 €
The Position of the Celebrant at the Holy Communion Morton Shaw / Livro Capa mole
common.buy 17.09 €
Capitalism on Edge Albena (University of Kent) Azmanova / Livro Capa mole
common.buy 37.93 €
Dynamics of Discrete Populations and Series of Events Keith Iain Hopcraft / Livro Capa mole
common.buy 95.00 €
Lonely Planet Pocket Bangkok Lonely Planet / Livro Capa mole
common.buy 11.52 €
Wind in the Willows Kenneth Grahame / Livro Livro de capa dura
common.buy 17.09 €
Principal
Jujutsu Kaisen, Vol. 8 Gege Akutami / Livro Capa mole
common.buy 10.41 €
Forgot to Feed the Dog! Pearson Linda Pearson / Livro Capa mole
common.buy 7.68 €
Unofficial Hocus Pocus Cross-stitch Editors of Ulysses Press / Livro Capa mole
common.buy 17.59 €
Summary: The Art of Social Media / Livro Capa mole
common.buy 14.36 €

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?