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

Types for Proofs and Programs

International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Types for Proofs and Programs Stefano Berardi
Código Libristo: 01649961
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

The Wiener Schnitzel Love Book! Florian Weitzer / Livro Livro de capa dura
common.buy 25.76 €
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Livro Capa mole
common.buy 28.49 €
Quitter l'ouest Robin / Livro Capa mole
common.buy 16.06 €
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Livro Capa mole
common.buy 9.89 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Livro Capa mole
common.buy 6.05 €
Robota jak każda inna Alex W. Inker / Livro Capa mole
common.buy 11.91 €
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Livro Capa mole
common.buy 22.83 €
K jak Klara 7 - Tak mi przykro Knudsen / Audiolivro MP3
common.buy 2.01 €
Idées reçues sur le Royaume-Uni Fourton / Livro Capa mole
common.buy 14.14 €
Arbeiter, Unternehmer, Professioneller Manfred Stock / Livro Capa mole
common.buy 64.36 €
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Livro Capa mole
common.buy 12.62 €
Fútbol africano II Librofutbol. Com / Livro Capa mole
common.buy 20.20 €
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Áudio CD de áudio
common.buy 7.47 €
Em breve
Das Erbe der Macht Andreas Suchanek / Livro Capa mole
common.buy 62.74 €
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Livro Livro de capa dura
common.buy 21.31 €
Faeries 13 Special Harry Potter Revue / Livro Capa mole
common.buy 10.60 €
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Livro Capa mole
common.buy 15.15 €
Aufbewahrungsbox fürs Auto aus Kunststoff / Jogo/brinquedo Brinquedo
common.buy 11.61 €
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Livro Capa mole
common.buy 15.65 €
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Livro Livro de capa dura
common.buy 6.86 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.§The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, 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 Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2009
Número de páginas 323
EAN 9783642024436
ISBN 3642024432
Código Libristo 01649961
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 510
Dimensões 155 x 235 x 19

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 > Algoritmos e estruturas de dados
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

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Livro Capa mole
common.buy 45.97 €
Torrent des passions R V RONI SAINT-CYR / Livro Capa mole
common.buy 19.70 €
Anesthesiology Linda S. Aglio / Livro Capa mole
common.buy 151.97 €
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Livro Capa mole
common.buy 37.88 €
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Livro Capa mole
common.buy 9.79 €
Algebra ROBERT SHUTLER / Livro Capa mole
common.buy 35.36 €
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Livro Capa mole
common.buy 12.72 €
GREED began in the WHITE HOUSE: It helps the rich get richer, forces the poor onto welfare, and squeezes working Middle Class families. James T Kelly / Livro Capa mole
common.buy 8.58 €
Born in the year 1970 Christoph Dappen / Livro Capa mole
common.buy 7.06 €
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Livro Livro de capa dura
common.buy 1 029.31 €
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Livro Capa mole
common.buy 20.30 €
Immunometabolism Suresh Mishra / Livro Capa mole
common.buy 107.31 €
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Livro Capa mole
common.buy 22.12 €
Principal
The Wolf and the Crown of Blood MAY ELIZABETH / Livro Livro de capa dura
common.buy 22.42 €
The Originals: The Complete Series / Vídeo DVD
common.buy 72.44 €
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Áudio CD de áudio
common.buy 24.65 €
Journey to Now Suzanne Taylor-Torres / Livro Capa mole
common.buy 10.40 €
Hedy Lamarr and a Secret Communication System Trinna Robbins / Livro Capa mole
common.buy 6.26 €
Italian Americans Before Mass Migration JEROME KRASE / Livro Livro de capa dura
common.buy 24.14 €
Art of Falconry Patrick Morel / Livro Livro de capa dura
common.buy 26.36 €
Zimbabwe Parker / Livro Livro de capa dura
common.buy 27.27 €
Epistemic Paternalism Kristoffer Ahlstrom Vij / Livro Livro de capa dura
common.buy 50.52 €
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Livro Capa mole
common.buy 17.17 €
Triumph of the Moon Ronald Hutton / Livro Capa mole
common.buy 28.79 €

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