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 Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Types for Proofs and Programs Peter Dybjer
Código Libristo: 05274523
Editoras Springer, Berlin, novembro 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Descrição completa
? points 125 b
51.68 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Gömülü Samdan Stefan Zweig / Livro Capa mole
common.buy 9.70 €
Edemocracy & Egovernment Andreas Meier / Livro Capa mole
common.buy 42.48 €
Assimil Arabisch ohne Mühe heute - Lehrbuch und 1 MP3-CD Assimil Gmbh / Livro Livro de capa dura
common.buy 84.56 €
Schritt für Schritt zum erfolgreichen Drehbuch Christopher Keane / Livro Livro de capa dura
common.buy 21.13 €
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Livro Capa mole
common.buy 18.81 €
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Livro Capa mole
common.buy 38.33 €
Mein 24. Dezember Daniela Kunerl / Livro Folha
common.buy 19.82 €
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Livro Livro de capa dura
common.buy 20.73 €
Vahi kuue paiku vahi kuue paiku. Vaata umbes kell kuus valvuri pintsaku paranduslappe Tõnu / Livro Livro de capa dura
common.buy 53.10 €
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Livro Capa mole
common.buy 70.60 €
Lyrikanalyse Natascha Bea / Livro Capa mole
common.buy 14.46 €
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Livro Capa mole
common.buy 27.30 €
Waylon university. La sfida Ilsa Madden-Mills / Livro Capa mole
common.buy 24.67 €
LE GUIDE DU PREMIER TATOUAGE TATTOO / Livro Capa mole
common.buy 21.74 €
Une Histoire de Machines, de Vampires Et de Fous Pierre Cassou-Nogues / Livro Capa mole
common.buy 19.51 €
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Livro Capa mole
common.buy 15.47 €
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Livro Capa mole
common.buy 20.93 €
O Principezinho de Saint-Exupéry Antoine / Livro Capa mole
common.buy 10.21 €
Cronovisore. Il nuovo mistero del Vaticano. La macchina del tempo François Brune / Livro Capa mole
common.buy 24.67 €
Correr, comer, vivir SCOTT JUREK / Livro Capa mole
common.buy 18.81 €
Kurz odblokování čaker Ega Rasch / Livro Livro de capa dura
common.buy 9.70 €
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Livro Capa mole
common.buy 21.94 €
Asturiana Susaeta / Livro Capa mole
common.buy 7.48 €
Elisa und der Schatten Napoleons Christine Fischer / Livro Capa mole
common.buy 12.63 €

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set 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 Peter Dybjer, Bengt Nordström, Jan Smith
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1995
Número de páginas 210
EAN 9783540605799
ISBN 3540605797
Código Libristo 05274523
Editoras Springer, Berlin
Peso 294
Dimensões 155 x 233 x 12

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

Frenemies Emma Hart / Livro Capa mole
common.buy 15.06 €
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Livro Capa mole
common.buy 35.50 €
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Livro Capa mole
common.buy 7.68 €
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Livro Capa mole
common.buy 9.90 €
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Livro Capa mole
common.buy 27.81 €
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Livro Capa mole
common.buy 19.31 €
No Period. Now What? Nicola J Rinaldi / Livro Capa mole
common.buy 26.90 €
Principal
NIV Holy Bible (Hodder Classics) New International Version / Livro Capa mole
common.buy 8.18 €
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Livro Capa mole
common.buy 10.71 €
An Introduction to Cold Regions Design: Mechanical J Paul Guyer / Livro Capa mole
common.buy 26.09 €
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Livro Capa mole
common.buy 7.68 €
How to clerk a track meet MR G K Butts / Livro Capa mole
common.buy 14.86 €
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Livro Capa mole
common.buy 16.58 €
Deadly Audit: A Buckeye Barrister Mystery David M Selcer / Livro Capa mole
common.buy 14.25 €
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Livro Capa mole
common.buy 15.67 €
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Livro Capa mole
common.buy 22.65 €
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Livro Livro de capa dura
common.buy 37.82 €
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Audiolivro MP3
common.buy 17.79 €
The Idea of China Guoqi Xu / Livro Livro de capa dura
common.buy 32.87 €
Bali Travel Map Tenth Edition Periplus Editions / Artigos impressos Mapa
common.buy 9.30 €
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Livro Livro de capa dura
common.buy 23.15 €
WHY WE DIE RAMAKRISHNAN VENKI / Livro Capa mole
common.buy 14.25 €
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Livro Capa mole
common.buy 8.99 €
BETTER BROKEN ROGERS SEAN J / Livro Livro de capa dura
common.buy 30.44 €

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?