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

14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Theorem Proving in Higher Order Logics Richard J. Boulton
Código Libristo: 01563734
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2001
This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Th... 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

Departement de la Seine-Inferieure. Asile Public d'Alienes de Saint-Yon Saint-Etienne-Du-Rouvray CORTYL-E / Livro Capa mole
common.buy 17.49 €
Ciplak Maymun Morris Desmond / Livro Capa mole
common.buy 15.26 €
Else Lasker-Schüler, Elise Bambus & die "Irrenanstalt Dalldorf" Thomas Höfert / Livro Capa mole
common.buy 19.61 €
Filozof i papiez Wybor tekstow Jaroslaw Merecki / Livro Livro de capa dura
common.buy 15.77 €
BOHEMIAN RHAPSODY CONCERT BAND/HARMONIE FREDDIE MERCURY Livro binding.
common.buy 32.46 €
Des orties et des hommes Pigani / Livro Capa mole
common.buy 24.17 €
Homo sapiens: die Krone der Schoepfung Martin Rhonheimer / Livro Livro de capa dura
common.buy 77.07 €
Planet der Zehnwortdiktatur (Teil 1) Michael Häusler / Livro Capa mole
common.buy 10.81 €
Gray Naip'ddle Alvaro Espino / Livro Capa mole
common.buy 18.50 €
Deckungsbeitragsrechnung im Getränkefachgroßhandel Aco Michael Tschernutter / Livro Livro de capa dura
common.buy 41.87 €

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh, Scotlang, UK in September 2001. The 23 revised full papers presented together with one invited paper and two invited abstracts were carefully reviewed and selected from a total of 47 submissions. All current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS.

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 Richard J. Boulton, Paul B. Jackson
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2001
Número de páginas 402
EAN 9783540425250
ISBN 354042525X
Código Libristo 01563734
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1270
Dimensões 155 x 233 x 23

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 > Inteligência artificial > Aprendizagem mecânica
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
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
Keep Calm And Code On Alex Lau / Livro Capa mole
common.buy 14.76 €
The Book of Job: A New Translation Lee Roy Martin / Livro Capa mole
common.buy 14.86 €
Handbook of Positive Psychology in Intellectual and Developmental Disabilities Karrie A. Shogren / E-book Adobe ePub DRM
common.buy 485.44 €
Adventures of Uncle Rocky, Fireman James Burd Brewster / Audiolivro MP3
common.buy 8.99 €
Odyssey Homer / E-book Adobe ePub DRM
common.buy 16.68 €
Understanding Children's Emotions Isabelle Filliozat / Livro Capa mole
common.buy 18.20 €
Ultimate Guide to Analyze People Michael Edwards / Livro Capa mole
common.buy 9.80 €
Rosamunde Pilcher's Cornwall Gill Knappett / Livro Capa mole
common.buy 6.46 €
The Sagebrusher: A Story of The West Emerson Hough / Livro Capa mole
common.buy 9.80 €
Reading Country Music Cecelia Tichi / Livro Capa mole
common.buy 41.16 €
How the Other Half Lives Jacob A Riis / Livro Capa mole
common.buy 17.09 €
Applied Quantum Chemistry J. Angyan / Livro Livro de capa dura
common.buy 308.42 €
Mechanics and Physics of Precise Vacuum Mechanisms E. A. Deulin / Livro Capa mole
common.buy 146.97 €
ISG 48: A Commentary on Acts Yon Gyong Kwon / Livro Capa mole
common.buy 20.32 €
IMMOBILIZABLE BISUBSTRATE-ANALOGUE INHIBITORS OF PROTEIN KINASES Kaido Viht / Livro Capa mole
common.buy 47.43 €
My Graduation Maria Morales / Livro Capa mole
common.buy 7.88 €
Theory of Chess; A Treatise, in Which the Principles and Maxims of This Game, or Rather Science, Are Clearly and Concisely Explained; ... Peter Pratt / Livro Capa mole
common.buy 14.66 €

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?