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 132 b
53.93 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Des orties et des hommes Pigani / Livro Capa mole
common.buy 23.85 €
Deckungsbeitragsrechnung im Getränkefachgroßhandel Aco Michael Tschernutter / Livro Livro de capa dura
common.buy 46.73 €
Elektronik aus dem Laserdrucker Dustin Büttner / Livro Capa mole
common.buy 42.20 €
Nero & bollente. Autobiografia del caffè Ivano Porpora / Livro Capa mole
common.buy 19.44 €
Filozof i papiez Wybor tekstow Jaroslaw Merecki / Livro Livro de capa dura
common.buy 15.83 €
Planet der Zehnwortdiktatur (Teil 1) Michael Häusler / Livro Capa mole
common.buy 11.32 €
BOHEMIAN RHAPSODY CONCERT BAND/HARMONIE FREDDIE MERCURY Livro binding.
common.buy 32.58 €
Homo sapiens: die Krone der Schoepfung Martin Rhonheimer / Livro Livro de capa dura
common.buy 80.50 €
Gray Naip'ddle Alvaro Espino / Livro Capa mole
common.buy 18.64 €
Else Lasker-Schüler, Elise Bambus & die "Irrenanstalt Dalldorf" Thomas Höfert / Livro Capa mole
common.buy 20.24 €
Ciplak Maymun Morris Desmond / Livro Capa mole
common.buy 16.84 €
Departement de la Seine-Inferieure. Asile Public d'Alienes de Saint-Yon Saint-Etienne-Du-Rouvray CORTYL-E / Livro Capa mole
common.buy 18.24 €
Nous n'avons pas abandonné: Livre d'images pour enfants Français-Japonais (Édition bilingue) Richard Carlson Jr / Livro Capa mole
common.buy 11.22 €

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

Paley's Moral Philosophy: With Annotations (1859) William Paley / Livro Capa mole
common.buy 28.58 €
Principal
How the Other Half Lives Jacob A Riis / Livro Capa mole
common.buy 18.14 €
A Book on Duck Shooting Van Campen Heilner / Livro Capa mole
common.buy 39.70 €
The Sagebrusher: A Story of The West Emerson Hough / Livro Capa mole
common.buy 10.22 €
Rosamunde Pilcher's Cornwall Gill Knappett / Livro Capa mole
common.buy 6.81 €
Ultimate Guide to Analyze People Michael Edwards / Livro Capa mole
common.buy 10.22 €
Ever Cruel Kingdom Chupeco / Livro Livro de capa dura
common.buy 14.93 €
Algebraic K-Theory Michael R. Stein / Livro Capa mole
common.buy 53.93 €
Understanding Children's Emotions Isabelle Filliozat / Livro Capa mole
common.buy 19.64 €
Odyssey Homer / E-book Adobe ePub DRM
common.buy 11.12 €
Adventures of Uncle Rocky, Fireman James Burd Brewster / Audiolivro MP3
common.buy 10.02 €
Handbook of Positive Psychology in Intellectual and Developmental Disabilities Karrie A. Shogren / E-book Adobe ePub DRM
common.buy 532.52 €
The Book of Job: A New Translation Lee Roy Martin / Livro Capa mole
common.buy 15.53 €
Keep Calm And Code On Alex Lau / Livro Capa mole
common.buy 15.63 €
University Consolidation. A Plea for Higher Education in Ontario / Livro Livro de capa dura
common.buy 30.88 €
ISG 48: A Commentary on Acts Yon Gyong Kwon / Livro Capa mole
common.buy 19.04 €
Reading Country Music Cecelia Tichi / Livro Capa mole
common.buy 42.70 €
Applied Quantum Chemistry J. Angyan / Livro Livro de capa dura
common.buy 322.35 €
Mechanics and Physics of Precise Vacuum Mechanisms E. A. Deulin / Livro Capa mole
common.buy 149.69 €
Homo Mysticus Jose Faur / Livro Capa mole
common.buy 27.86 €
IMMOBILIZABLE BISUBSTRATE-ANALOGUE INHIBITORS OF PROTEIN KINASES Kaido Viht / Livro Capa mole
common.buy 49.32 €
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 15.53 €
My Graduation Maria Morales / Livro Capa mole
common.buy 8.31 €

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?