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 '95, Torino, Italy, June 5-8, 1995. Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Types for Proofs and Programs Stefano Berardi
Código Libristo: 05274627
Editoras Springer, Berlin, novembro 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... 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

Ken Laszlo (Deluxe Edition) Ken Laszlo / Áudio CD de áudio
common.buy 15.05 €
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Áudio CD de áudio
common.buy 30.31 €
Zadní pokoj Jorn Lier Horst / Livro Livro de capa dura
common.buy 12.82 €
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Livro Capa mole
common.buy 23.94 €
Vive l'Europe ! Bizet Livro Capa mole
common.buy 13.83 €
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Livro Capa mole
common.buy 11.31 €
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Jogo/brinquedo Jogo
common.buy 11.51 €
AUTOFAGIA VENTURA MEDINA / Livro Capa mole
common.buy 22.83 €
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Livro Capa mole
common.buy 28.28 €
Brainstorming Andrea Windolph / Livro Capa mole
common.buy 7.97 €
Weidenrute und Schwert Gerwalt Richardson / Livro Capa mole
common.buy 11.81 €
Leiden unsers Herren Jesu Christi Johannes Brassart / Livro Capa mole
common.buy 17.37 €
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Livro Capa mole
common.buy 12.42 €
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Livro Capa mole
common.buy 36.57 €
Ludwig II. Christine Tauber / Livro Livro de capa dura
common.buy 9.19 €
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Livro Capa mole
common.buy 14.84 €
Artesanias María Leonor Aguilar García / Livro Capa mole
common.buy 22.93 €
Musikgeschichte(n) HANS BA LER / Livro binding.
common.buy 28.28 €
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Livro Capa mole
common.buy 39.30 €
Die Herren von Greifenklau Karl May / Livro Livro de capa dura
common.buy 22.02 €

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

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, Mario Coppo
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1996
Número de páginas 298
EAN 9783540617808
ISBN 3540617809
Código Libristo 05274627
Editoras Springer, Berlin
Peso 474
Dimensões 156 x 234 x 16

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
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 > 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

Principal
Bones & All Camille DeAngelis / Livro Capa mole
common.buy 8.98 €
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Livro Capa mole
common.buy 50.52 €
Restaurant and Bar Design II Zheng Siyu / Livro Livro de capa dura
common.buy 67.09 €
Seeing Angels Emma Heathcote-James / Livro Livro de capa dura
common.buy 24.04 €
Christmas Wish Gregory Porter / Áudio Vinil de áudio
common.buy 28.39 €
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Livro Capa mole
common.buy 62.74 €
2 Peter and Jude - Concordia Commentary Curtis Giese / Livro Livro de capa dura
common.buy 92.35 €
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Livro Livro de capa dura
common.buy 32.02 €
Spatial Analysis for Complex Territorial Systems Luca Salvati / Livro Capa mole
common.buy 181.78 €
Em breve
Bloody Provost R.A.J. Tyler / Livro Livro de capa dura
common.buy 18.38 €
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Livro Capa mole
common.buy 32.63 €
Struggle for Recognition in International Relations Murray / Livro Livro de capa dura
common.buy 73.56 €
Audio-Vision: Sound on Screen Claudia Gorbman / Livro Capa mole
common.buy 27.48 €
Industrial Fuels Joseph Stephenson / Livro Livro de capa dura
common.buy 26.97 €
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Livro Capa mole
common.buy 14.84 €
Heartbreaker Nick Louth / Livro Capa mole
common.buy 15.65 €
Selling Modernity Pamela E. Swett / Livro Livro de capa dura
common.buy 145.10 €
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Livro Capa mole
common.buy 63.86 €
What Did the Biblical Writers Know and When Did They Know it? Dever / Livro Capa mole
common.buy 20.00 €
Spoken Natural Language Dialog Systems Ronnie W. Smith / Livro Livro de capa dura
common.buy 108.32 €
Biology of Memory G. Adam / Livro Capa mole
common.buy 45.97 €
Cairo Trilogy Naguib Mahfouz / Livro Livro de capa dura
common.buy 27.38 €
Talk Fiction Irene Kacandes / Livro Capa mole
common.buy 32.83 €
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday Erhard Seiler / Livro Livro de capa dura
common.buy 131.06 €

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