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

Até 30 dias para devoluções

Os clientes também compraram

Principal Em breve
MINIX Music: Michael Jackson #117 Jogo/brinquedo Brinquedo
common.buy 17.07 €
The Wiener Schnitzel Love Book! Florian Weitzer / Livro Livro de capa dura
common.buy 31.22 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Livro Capa mole
common.buy 7.07 €
Quitter l'ouest Robin / Livro Capa mole
common.buy 18.28 €
Arbeiter, Unternehmer, Professioneller Manfred Stock / Livro Capa mole
common.buy 76.10 €
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Livro Capa mole
common.buy 32.03 €
Robota jak każda inna Alex W. Inker / Livro Capa mole
common.buy 13.94 €
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Livro Capa mole
common.buy 27.38 €
K jak Klara 7 - Tak mi przykro Knudsen / Audiolivro MP3
common.buy 2.42 €
Idées reçues sur le Royaume-Uni Fourton / Livro Capa mole
common.buy 16.06 €
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Livro Capa mole
common.buy 11.71 €
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Livro Capa mole
common.buy 15.15 €
Trötsch Meine weltliebste Freundin Überraschungsgrüße / Livro Capa mole
common.buy 9.49 €
Fútbol africano II Librofutbol. Com / Livro Capa mole
common.buy 23.14 €
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Áudio CD de áudio
common.buy 8.68 €
Auxiliar Administrativo de la Diputación Provincial de Jaén. Temario volumen 2 Editores / Livro Capa mole
common.buy 43.75 €
Em breve
Das Erbe der Macht Andreas Suchanek / Livro Capa mole
common.buy 75.19 €
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Livro Livro de capa dura
common.buy 25.56 €
Faeries 13 Special Harry Potter Revue / Livro Capa mole
common.buy 11.92 €
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Livro Capa mole
common.buy 17.17 €
Aufbewahrungsbox fürs Auto aus Kunststoff / Jogo/brinquedo Brinquedo
common.buy 13.53 €
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Livro Capa mole
common.buy 17.48 €
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Livro Livro de capa dura
common.buy 7.87 €

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 54.37 €
Born in the year 1970 Christoph Dappen / Livro Capa mole
common.buy 8.18 €
Anesthesiology Linda S. Aglio / Livro Capa mole
common.buy 180.41 €
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Livro Capa mole
common.buy 47.49 €
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Livro Capa mole
common.buy 12.12 €
Algebra ROBERT SHUTLER / Livro Capa mole
common.buy 40.12 €
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Livro Capa mole
common.buy 15.05 €
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 10.10 €
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Livro Capa mole
common.buy 25.97 €
Torrent des passions R V RONI SAINT-CYR / Livro Capa mole
common.buy 23.03 €
Immunometabolism Suresh Mishra / Livro Capa mole
common.buy 127.44 €
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Livro Capa mole
common.buy 24.55 €
Astronomy For Beginners Sally R Ball / Livro Capa mole
common.buy 11.41 €
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Livro Capa mole
common.buy 20.10 €
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Livro Livro de capa dura
common.buy 1 203.78 €
Epistemic Paternalism Kristoffer Ahlstrom Vij / Livro Livro de capa dura
common.buy 58.41 €
Triumph of the Moon Ronald Hutton / Livro Capa mole
common.buy 34.05 €
How To...Football DK / Livro Livro de capa dura
common.buy 9.29 €
Napoleon Bonaparte: England's Prisoner Frank Giles / Livro Capa mole
common.buy 28.70 €
The Originals: The Complete Series / Vídeo DVD
common.buy 86.10 €
Zimbabwe Parker / Livro Livro de capa dura
common.buy 29.50 €
The Wolf and the Crown of Blood MAY ELIZABETH / Livro Livro de capa dura
common.buy 23.14 €
Art of Falconry Patrick Morel / Livro Livro de capa dura
common.buy 50.43 €
Italian Americans Before Mass Migration JEROME KRASE / Livro Livro de capa dura
common.buy 29.10 €

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