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

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 141 b
58.32 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Até 30 dias para devoluções

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 26.98 €
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Livro Capa mole
common.buy 6.56 €
ORACLES CHALDAIQUES GEMISTE PLETHON Livro binding.
common.buy 45.99 €
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Livro Capa mole
common.buy 15.46 €
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Livro Capa mole
common.buy 29.81 €
Pokémon - Coloriages extraordinaires / Livro Capa mole
common.buy 6.46 €
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Livro Livro de capa dura
common.buy 27.89 €
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Livro Livro
common.buy 14.04 €
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Livro Capa mole
common.buy 10.10 €
cluny musee national moyen age Livro Livro
common.buy 27.08 €
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Livro Capa mole
common.buy 49.02 €
Dunkelgraf Ludwig Bechstein / Livro Capa mole
common.buy 35.68 €
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Livro Capa mole
common.buy 48.92 €
Essais d'Impressions En Couleurs SANS AUTEUR / Livro Capa mole
common.buy 13.64 €
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Livro Capa mole
common.buy 73.59 €
Principal
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Livro Livro de capa dura
common.buy 15.46 €
Obra-Jogo Rocha Aldene / Livro Capa mole
common.buy 55.50 €
Koshiki Contact Karatedo Olaf Lotze-Leoni / Livro Capa mole
common.buy 9.09 €
Internationale Projektfinanzierung Carola Schulz / Livro Capa mole
common.buy 33.96 €
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Livro Capa mole
common.buy 17.07 €
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 16.17 €
Angličtina pro překladatele Jarmila Prošvicová / Livro Livro
common.buy 9.59 €

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 58.32 €
Combinatorial Mathematics III A.P. Street / Livro Capa mole
common.buy 36.18 €
Interactive Theorem Proving and Program Development Yves Bertot / Livro Livro de capa dura
common.buy 120.80 €
Psychoanalysis, Sleep And Dreams Andre Tridon / Livro Capa mole
common.buy 23.75 €
Secret Geometry of the Dollar Ken McGrath / Livro Capa mole
common.buy 22.84 €
Allergies Stuart H Young MD / Livro Capa mole
common.buy 19.30 €
Animals Word Scramble: Book 1 Michael Stachiw / Livro Capa mole
common.buy 9.39 €
Rambling Rhymes Clare Crooke / Livro Capa mole
common.buy 10.30 €
What Is Personification? Robin Johnson / Livro Capa mole
common.buy 9.09 €
Human Rights and the Criminal Justice System Anthony Amatrudo / Livro Capa mole
common.buy 77.23 €
Principal
The Neville Goddard Collection Neville Goddard / Livro Capa mole
common.buy 26.88 €
Cognitive Psychology Eysenck / Livro Capa mole
common.buy 68.63 €
Tarot Spreads Jeffrey Price / Livro Capa mole
common.buy 15.76 €
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Livro Capa mole
common.buy 11.72 €
How to Find a Niche Market...And Make Money M Morgan / Livro Capa mole
common.buy 7.67 €
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Livro Capa mole
common.buy 6.76 €
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Livro Capa mole
common.buy 18.09 €
The Analysis of Mind Bertrand Russell / Livro Capa mole
common.buy 15.76 €
Criminal Procedure, Loose-Leaf Version Joel Samaha / Livro Capa mole
common.buy 212.09 €
Winged with Longing for Better Things Sylvia Sweeney / Livro Capa mole
common.buy 16.47 €
Typography Essentials Revised and Updated Ina Saltz / Livro Capa mole
common.buy 21.62 €
How to Read Chinese Drama Patricia Sieber / Livro Capa mole
common.buy 46.80 €
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Livro Capa mole
common.buy 106.24 €
Head Strong Michael D. Matthews / Livro Livro de capa dura
common.buy 61.25 €

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?