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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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 111 b
46.03 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

You Are My TRUTH Felicitas Brandt / Livro Capa mole
common.buy 13.75 €
Zápisník Black Red tečkovaný L Artigos de papelaria Artigos de papelaria
common.buy 7.17 €
Económico
Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins / Livro Livro de capa dura
common.buy 5.35 €
Principal
Nexus Yuval Noah Harari / Livro Livro de capa dura
common.buy 18.51 €
Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel / Livro Capa mole
common.buy 25.18 €
Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla / Livro Capa mole
common.buy 30.04 €
Réponse du blé semé tardivement ? l'azote Deepak Sapkota / Livro Capa mole
common.buy 29.94 €
OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Livro binding.
common.buy 6.47 €
iPod Jude D. Biersdorfer / Livro Capa mole
common.buy 15.98 €
Szerafina és a Fekete Köpeny Robert Beatty / Livro Livro de capa dura
common.buy 5.15 €
de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A / Livro Capa mole
common.buy 11.63 €
František Skála - Grafika František Skála / Livro Folha
common.buy 11.42 €
Puccini: La Boheme/Madame Butterfly RPO/Abell / Áudio CD de áudio
common.buy 23.87 €
Ataque a un enemigo de la libertad Cicerón / Livro Capa mole
common.buy 7.88 €
E-biznes Steve West / Livro Capa mole
common.buy 11.83 €

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

Principal
High-Risers: Cabrini-Green and the Fate of American Public Housing Ben Austen / Livro Capa mole
common.buy 13.14 €
Building the Medieval World Christine Sciacca / Livro Livro de capa dura
common.buy 13.95 €
Jeremy Blake / Livro Capa mole
common.buy 9.20 €
Hacking Your Kitchen! Giant Blank Recipe Book FLASH PLANNERS AND N / Livro Capa mole
common.buy 8.59 €
Globe Trotter's Records - Travel Journal Hawaii Edition DAYBOOK HEAVEN BOOKS / Livro Capa mole
common.buy 7.48 €
Principal
Ego is the Enemy Ryan Holiday / Livro Capa mole
common.buy 9.10 €
Household Stories Wilhelm Grimm / Livro Capa mole
common.buy 20.53 €
Fights for the Flag William Henry Fitchett / Livro Capa mole
common.buy 22.15 €
Requiem for Innocence Bv Lawson / Livro Capa mole
common.buy 11.02 €
Raising a Soccer Star: A Complete Guide to Unlocking Your Child's Potential Mariana Correa / Livro Capa mole
common.buy 14.86 €
Optimal Oil Pipeline Alignment In Ankleshwar Using RS & GIS techniques Anam Akhtar / Livro Capa mole
common.buy 28.32 €
Jeremy Jackrabbit Jumps Joyfully Aimee Hughes / Livro Capa mole
common.buy 6.47 €
Fresh Designs for Woodworking Thomas Haapapuro / Livro Capa mole
common.buy 13.14 €
The Position of the Celebrant at the Holy Communion Morton Shaw / Livro Capa mole
common.buy 14.26 €
Dynamics of Discrete Populations and Series of Events Keith Iain Hopcraft / Livro Capa mole
common.buy 82.35 €
Principal
Lonely Planet Pocket Bangkok Lonely Planet / Livro Capa mole
common.buy 9.40 €
Wind in the Willows Kenneth Grahame / Livro Livro de capa dura
common.buy 13.85 €
Principal
Jujutsu Kaisen, Vol. 8 Gege Akutami / Livro Capa mole
common.buy 7.78 €
Unofficial Hocus Pocus Cross-stitch Editors of Ulysses Press / Livro Capa mole
common.buy 14.86 €
Summary: The Art of Social Media / Livro Capa mole
common.buy 11.93 €
Paperblanks Wild Flowers Playful Creations Softcover Flexis Mini Lined Elastic Band 208 Pg 80 GSM / Calendário/Diário Calendário
common.buy 17.39 €
Económico
The Crescent Moon Tearoom Stacy Sivinski / Livro Capa mole
common.buy 7.68 €
The Australian Defence Force Robbin Laird / Livro Capa mole
common.buy 11.02 €
Relentless: From Redshirt to the Rock of the Jayhawks Travis Releford / Livro Capa mole
common.buy 14.05 €

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