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 €
phone Contacto phoneComo comprar

Interactive Theorem Proving

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Interactive Theorem Proving Lennart Beringer
Código Libristo: 01661818
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julho 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Descrição completa
? points 122 b
50.57 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca / Livro Capa mole
common.buy 24.17 €
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Livro Capa mole
common.buy 5.86 €
ORACLES CHALDAIQUES GEMISTE PLETHON Livro binding.
common.buy 39.95 €
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Livro Capa mole
common.buy 13.24 €
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Livro Capa mole
common.buy 27.20 €
Pokémon - Coloriages extraordinaires / Livro Capa mole
common.buy 5.76 €
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Livro Livro de capa dura
common.buy 23.76 €
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Livro Livro
common.buy 12.63 €
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Livro Capa mole
common.buy 8.18 €
cluny musee national moyen age Livro Livro
common.buy 23.56 €
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Livro Capa mole
common.buy 43.99 €
Dunkelgraf Ludwig Bechstein / Livro Capa mole
common.buy 31.45 €
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Livro Capa mole
common.buy 43.18 €
Essais d'Impressions En Couleurs SANS AUTEUR / Livro Capa mole
common.buy 11.62 €
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Livro Capa mole
common.buy 69.08 €
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Livro Livro de capa dura
common.buy 12.94 €
Obra-Jogo Rocha Aldene / Livro Capa mole
common.buy 55.54 €
Koshiki Contact Karatedo Olaf Lotze-Leoni / Livro Capa mole
common.buy 7.98 €
Internationale Projektfinanzierung Carola Schulz / Livro Capa mole
common.buy 30.03 €
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Livro Capa mole
common.buy 15.06 €
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Livro Capa mole
common.buy 14.25 €
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Livro Capa mole
common.buy 14.25 €

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

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 Lennart Beringer, Amy Felty
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 419
EAN 9783642323461
ISBN 3642323464
Código Libristo 01661818
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 650
Dimensões 155 x 235 x 25

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 > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Gestão de redes & comunicação informática > Segurança de redes
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 > Segurança informática
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 Technologies and Sociotechnical Systems Hongbin Zha / Livro Capa mole
common.buy 50.57 €
Combinatorial Mathematics III A.P. Street / Livro Capa mole
common.buy 32.26 €
Interactive Theorem Proving and Program Development Yves Bertot / Livro Livro de capa dura
common.buy 107.42 €
Psychoanalysis, Sleep And Dreams Andre Tridon / Livro Capa mole
common.buy 21.33 €
Secret Geometry of the Dollar Ken McGrath / Livro Capa mole
common.buy 19.61 €
Allergies Stuart H Young MD / Livro Capa mole
common.buy 16.38 €
Animals Word Scramble: Book 1 Michael Stachiw / Livro Capa mole
common.buy 7.98 €
Rambling Rhymes Clare Crooke / Livro Capa mole
common.buy 8.79 €
What Is Personification? Robin Johnson / Livro Capa mole
common.buy 8.59 €
Human Rights and the Criminal Justice System Anthony Amatrudo / Livro Capa mole
common.buy 67.06 €
Principal
The Neville Goddard Collection Neville Goddard / Livro Capa mole
common.buy 22.95 €
Cognitive Psychology Eysenck / Livro Capa mole
common.buy 60.48 €
Tarot Spreads Jeffrey Price / Livro Capa mole
common.buy 12.84 €
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Livro Capa mole
common.buy 10.11 €
How to Find a Niche Market...And Make Money M Morgan / Livro Capa mole
common.buy 6.46 €
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Livro Capa mole
common.buy 5.65 €
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Livro Capa mole
common.buy 15.37 €
The Analysis of Mind Bertrand Russell / Livro Capa mole
common.buy 13.34 €
Criminal Procedure, Loose-Leaf Version Joel Samaha / Livro Capa mole
common.buy 181.06 €
Winged with Longing for Better Things Sylvia Sweeney / Livro Capa mole
common.buy 13.34 €
Typography Essentials Revised and Updated Ina Saltz / Livro Capa mole
common.buy 17.59 €
How to Read Chinese Drama Patricia Sieber / Livro Capa mole
common.buy 41.16 €
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Livro Capa mole
common.buy 95.18 €
Head Strong Michael D. Matthews / Livro Livro de capa dura
common.buy 42.17 €

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?