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

Theorem Proving in Higher Order Logics

18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Theorem Proving in Higher Order Logics Joe Hurd
Código Libristo: 01561020
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2005
This book constitutes the refereed proceedings of the 18th International Conference on Theorem Provi... Descrição completa
? points 132 b
54.26 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Eficiencia en la Gestion Financiera en un Sistema de Justicia Mexicano David Josue Ortiz Gonzalez / Livro Capa mole
common.buy 51.63 €
Plan C­clico de Formación Juvenil vol I I I MATAIX / Livro Livro
common.buy 2.41 €
Künstlerroman Friedrich Wilhelm Hackländer / Livro Livro de capa dura
common.buy 65.75 €
Nos Auteurs Et Compositeurs Dramatiques, Portraits Et Biographies Martin-J / Livro Capa mole
common.buy 37.41 €
Blackout Island Sigrí?ur Hagalín Björnsdóttir / Livro Capa mole
common.buy 9.67 €
Zwischen Widerstand und Anpassung. Die Rezeption des Nationalsozialismus in ausgewahlten judischen deutschsprachigen Zeitungen bis 1935 Daniel Kulins / Livro Capa mole
common.buy 14.41 €
Kibali David Kyeu / Livro Capa mole
common.buy 11.49 €
Erfolgsfaktoren deutscher Unternehmen bei der Marktbearbeitung in Indien Anke Hsu / Livro Capa mole
common.buy 35.80 €
Tierzuchtgesetz (TierZG) Sarastro Gmbh / Livro Capa mole
common.buy 8.56 €
dunkle Tor ins Licht Christine Hagia / Livro Capa mole
common.buy 16.13 €
Bologna und Emilia Romagna Carl W. Macke / Livro Livro de capa dura
common.buy 20.87 €
Der blaue Himmel Galsan Tschinag / Livro Capa mole
common.buy 11.49 €
Utopia Thomas Morus / Livro Capa mole
common.buy 10.38 €

This book constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005.§The 20 revised full papers presented together with 2 invited papers and 4 proof pearls (concise and elegant presentations of interesting examples) were carefully reviewed and selected from 49 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the topics of this volume are theorem proving, verification, recursion and induction, mechanized proofs, mathematical logic, proof theory, type systems, program verification, and proving systems like HOL, Coq, ACL2, Isabelle/HOL and Isabelle/HOLCF.

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 Theorem Proving in Higher Order Logics
Autor Joe Hurd, Tom Melham
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2005
Número de páginas 414
EAN 9783540283720
ISBN 3540283722
Código Libristo 01561020
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1310
Dimensões 155 x 235 x 23

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 > 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 > Análise e conceção de sistemas
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

German Influence on Australian English Markus Bieswanger / Livro Capa mole
common.buy 46.69 €
Bioethics of Pain Management Daniel S. Goldberg / Livro Livro de capa dura
common.buy 234.30 €
WILDER GIRLS POWER RORY / Livro Capa mole
common.buy 16.23 €
The Book of My Life: de Vita Propria Liber Jerome Cardan / Livro Capa mole
common.buy 34.49 €
The Rebirth and Awakening of Wolfie Star-Runner Danielle Freeman / Livro Capa mole
common.buy 17.44 €
Discovering Ancient Biblical Hebrew Word Formation: A Workbook for the Discovery of the Original Nature of Derivational Morphology of Ancient Biblical David J Leonardi / Livro Capa mole
common.buy 17.44 €
Bucking the Sun Ivan Doig / Livro Capa mole
common.buy 14.72 €
The Stranger You Know Jane Casey / Livro Capa mole
common.buy 18.85 €
VMware vSphere 5.1 Cookbook Abhilash GB / Livro Capa mole
common.buy 56.07 €
Tinsel Devney Perry / Livro Capa mole
common.buy 18.35 €
Classical Associations of Places in Italy (1921) Frances Ellis Sabin / Livro Capa mole
common.buy 39.93 €
Osprey Emily Ever / Livro Capa mole
common.buy 16.23 €
Notes Upon Some of the Obscure Passages in Shakespeare's Plays; With Remarks Upon the Explanations and Amendments of the Commentators in the Editions John Howe / Livro Capa mole
common.buy 26.52 €
Solitude and the Sublime Frances Ferguson / Livro Capa mole
common.buy 70.90 €
NLP Steve Andreas / Livro Capa mole
common.buy 18.85 €
Excavations at Newport Street, Worcester, 2005 Peter Davenport / Livro Livro de capa dura
common.buy 31.76 €
Aesthetics of Appearing Martin Seel / Livro Capa mole
common.buy 25.41 €
Havana Babylonia: or Prostitutes in Cuba Amir Valle / Livro Capa mole
common.buy 16.63 €
Marxism and Alternatives I Rockmore / Livro Capa mole
common.buy 225.93 €
Statistical Account of the British Empire J. R. McCulloch / Livro Capa mole
common.buy 64.54 €
Leniency in EU Competition Law Ingrid Margrethe Halvorsen Barlund / E-book Adobe ePub DRM
common.buy 154.01 €
Paddington in Peru: Sticker Activity Book HARPER / Livro Capa mole
common.buy 8.97 €
THE METAPHYSICAL STATUS OF THE FACE IN THE WORK OF EMMANUEL LEVINAS Arischel NGOMA MOUSSOLO OPIE / Livro Capa mole
common.buy 57.28 €
Winter's Breath, Eternal Chill Jasper Montgomery / Livro Capa mole
common.buy 52.34 €

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?