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

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Interactive Theorem Proving Matt Kaufmann
Código Libristo: 01656145
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Descrição completa
? points 243 b
100.23 €
Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Livro Capa mole
common.buy 6.15 €
Obstbau E. Voges / Livro Capa mole
common.buy 15.75 €
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Livro Capa mole
common.buy 35.46 €
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Livro Capa mole
common.buy 14.24 €
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Livro Capa mole
common.buy 34.55 €
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Livro Capa mole
common.buy 27.17 €
Nitra Vladimír Barta / Livro Livro de capa dura
common.buy 30.61 €
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Livro Livro
common.buy 8.58 €
Nach Spanien Und Portugal H. Obersteiner / Livro Capa mole
common.buy 23.64 €
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Livro Livro de capa dura
common.buy 17.27 €
Principal
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Livro Capa mole
common.buy 7.97 €
Haltestelle Brussel Hermann Bausinger / Livro Capa mole
common.buy 17.27 €
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Livro Capa mole
common.buy 54.96 €
Politische Gesprache der Toten Anonymus / Livro Capa mole
common.buy 31.42 €
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Livro Capa mole
common.buy 13.23 €
Solo-Klaviermusik Vol.6 Miklos Spanyi / Áudio CD de áudio
common.buy 14.54 €
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Livro Capa mole
common.buy 13.23 €
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Livro Capa mole
common.buy 10.80 €

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Interactive Theorem Proving
Autor Matt Kaufmann, Lawrence C. Paulson
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2010
Número de páginas 495
EAN 9783642140518
ISBN 3642140513
Código Libristo 01656145
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 759
Dimensões 155 x 238 x 33

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Medicina & enfermagem > Medicina clínica & interna > Doenças e perturbações > Imunologia
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 > Algoritmos e estruturas de dados
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
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

Interactive Theorem Proving and Program Development Yves Bertot / Livro Livro de capa dura
common.buy 107.31 €
Interactive Video Riad Hammoud / Livro Capa mole
common.buy 91.75 €
Experimental Robotics Oussama Khatib / Livro Capa mole
common.buy 183.20 €
Interactive Theorem Proving Marko Van Eekelen / Livro Capa mole
common.buy 50.52 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Livro Capa mole
common.buy 50.52 €
You Bantering Me? Chris Hughes / Livro Capa mole
common.buy 18.08 €
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Livro Livro de capa dura
common.buy 30.71 €
Rite of Rejection Sarah Negovetich / Livro Capa mole
common.buy 10.30 €
Oblomov Ivan Aleksandrovich Goncharov / Livro Capa mole
common.buy 8.78 €
Long Life in Florida Hilton Hotema / Livro Capa mole
common.buy 26.97 €
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Livro Capa mole
common.buy 11.00 €
Annihilation Jeff VanderMeer / Livro Capa mole
common.buy 11.91 €
Classification, Disease and Evidence Philippe Huneman / Livro Capa mole
common.buy 45.97 €
From The Sun To The Stars James B. Kaler / Livro Capa mole
common.buy 30.10 €
Kaylynn's Reading Log Martha Day Zschock / Livro Capa mole
common.buy 6.76 €
Village Heroes Meet the Dragon Patti Vincent / Livro Capa mole
common.buy 18.28 €
Camping Keith Baker / Livro Capa mole
common.buy 5.14 €
Sleeping on a Wire David Grossman / Livro Capa mole
common.buy 16.36 €
The Last Midwife Sandra Dallas / Livro Capa mole
common.buy 16.97 €
Evolving Human Nutrition Stanley Ulijaszek / Livro Livro de capa dura
common.buy 144.60 €
Chakradance Natalie Southgate / E-book Adobe ePub DRM
common.buy 13.73 €
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Livro Livro de capa dura
common.buy 107.41 €
Hidden in Blackness Adaurennaya C Onyewuenyi / Livro Livro de capa dura
common.buy 112.87 €
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Livro Capa mole
common.buy 11.51 €

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