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 Workshop, TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Types for Proofs and Programs Henk Barendregt
Código Libristo: 05274389
Editoras Springer, Berlin, novembro 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Descrição completa
? points 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

MOLLERUSSA YEGUAS I GASSO / Livro Capa mole
common.buy 9.31 €
Golem Elvire Murail / Livro Capa mole
common.buy 22.78 €
Glaces Hakim / Livro Capa mole
common.buy 24.70 €
Bakuman - Tome 13 Takeshi Obata / Livro Capa mole
common.buy 8.80 €
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendário/Diário Calendário
common.buy 26.63 €
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Livro Capa mole
common.buy 7.69 €
Animales del páramo David Rodríguez / Livro Capa mole
common.buy 18.52 €
Irreverente PILAR MARTIN PEREZ / Livro Capa mole
common.buy 14.17 €
Über Leben Reinhold Messner / Livro Livro de capa dura
common.buy 19.23 €
CI Vorrebbe Un Amico Mario Boccia / Livro Capa mole
common.buy 8.80 €
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Livro Capa mole
common.buy 16.09 €
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Livro Capa mole
common.buy 14.27 €
Aguas azules para una batalla Fabra / Audiolivro MP3
common.buy 7.89 €
Jean-Claude Juncker Margaretha Kopeinig / E-book Adobe ePub DRM
common.buy 13.97 €
La Revista Moderna, Volumes 1-2... Martín Aldao / Livro Livro de capa dura
common.buy 33.51 €
Rocker Devil. Slide und Ellen Bärbel Muschiol / Livro Capa mole
common.buy 10.42 €
Pathogenese und Klinik der Harnsteine G. Gasser / Livro Capa mole
common.buy 46.18 €
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Livro Capa mole
common.buy 9.71 €
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Áudio CD de áudio
common.buy 11.03 €
Management von Netzwerkorganisationen Jörg Sydow / Livro Capa mole
common.buy 68.76 €
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Livro Capa mole
common.buy 16.90 €
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Livro Capa mole
common.buy 14.27 €
Fundamentos físicos de la edificación Blasco Laffón / Livro Capa mole
common.buy 37.06 €
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Áudio CD de áudio
common.buy 24.30 €

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

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 Henk Barendregt, Tobias Nipkow
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1994
Número de páginas 395
EAN 9783540580850
ISBN 3540580859
Código Libristo 05274389
Editoras Springer, Berlin
Peso 526
Dimensões 155 x 233 x 21

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 > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
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

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Livro Capa mole
common.buy 26.53 €
Lambda Calculus with Types Henk Barendregt / Livro Livro de capa dura
common.buy 94.49 €
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Livro Capa mole
common.buy 16.40 €
Mardi Gras Rebecca Pettiford / Livro Livro de capa dura
common.buy 9.71 €
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Livro Capa mole
common.buy 50.73 €
Against Distance Peter Makuck / Livro Capa mole
common.buy 10.02 €
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Livro Capa mole
common.buy 21.97 €
The Mystic Youth Of Jesus Yogi Ramacharaka / Livro Capa mole
common.buy 15.69 €
Unfreezing the Arctic Andrew Stuhl / Livro Livro de capa dura
common.buy 38.98 €
Pop-Up Robert Wernli / Livro Capa mole
common.buy 19.23 €
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Livro Livro de capa dura
common.buy 200.94 €
Principal
To Be Read at Dusk Charles Dickens / Livro Capa mole
common.buy 3.13 €
Testimonies of His Love Lisa N Aldridge - Jones / Livro Capa mole
common.buy 12.35 €
History of Modern Morocco Susan Gilson Miller / Livro Livro de capa dura
common.buy 92.77 €
All Things New 2015 - 2016 Wayne Fowler / Livro Livro de capa dura
common.buy 29.77 €
Económico
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Livro Capa mole
common.buy 16.20 €
Ama Betty Hallock / Livro Livro de capa dura
common.buy 20.15 €
Hiawatha Passing JEFF HAGEN / Livro Capa mole
common.buy 14.88 €
Out of the Dark Gregg Hurwitz / Livro Capa mole
common.buy 10.22 €
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Livro Capa mole
common.buy 146.14 €
Toll Road Girls 7 J Ware / Livro Capa mole
common.buy 6.78 €
Principal
Your Whole Body Misha Iver / Livro Capa mole
common.buy 12.55 €
Mad about Shakespeare: From Classroom to Theatre to Emergency Room Jonathan Bate / E-book Adobe ePub DRM
common.buy 8.40 €
Económico
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich / Livro Capa mole
common.buy 6.78 €

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?