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

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Interactive Theorem Proving Sandrine Blazy
Código Libristo: 01664057
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Diccionario visual inglés / Livro Capa mole
common.buy 12.32 €
Zpět o sto let na výlet Renata Šindelářová / Livro Capa mole
common.buy 2.82 €
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Livro Capa mole
common.buy 11.31 €
TEMARIO DE TROMBON VICENTE MONZO / Livro Capa mole
common.buy 273.84 €
Angielski. Przewodnik językowy Patrycja Karnik / Livro Capa mole
common.buy 10.20 €
Clef Junich Tanizaki / Livro Capa mole
common.buy 9.89 €
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Livro Capa mole
common.buy 20.81 €
Coches muy antiguos Ruiz Palacio / Livro Capa mole
common.buy 17.57 €
Der Kreis Husum K. Sönnichsen / Livro Capa mole
common.buy 21.31 €
Kostenfalle Messe? Anja Steinrücken / Livro Capa mole
common.buy 45.56 €
Theaterhandwerk Alan Ayckbourn / Livro Capa mole
common.buy 17.37 €
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Livro Capa mole
common.buy 11.91 €
Laubgewind Jakob Chr. Heer / Livro Capa mole
common.buy 23.64 €
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Livro Capa mole
common.buy 14.24 €
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Livro Capa mole
common.buy 14.24 €
USA und der internationale Klimaschutz Jan Hollmann / Livro Capa mole
common.buy 14.24 €

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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 Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2013
Número de páginas 498
EAN 9783642396335
ISBN 364239633X
Código Libristo 01664057
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 777
Dimensões 155 x 235 x 29

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
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 > 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 Theorem Proving Gerwin Klein / Livro Capa mole
common.buy 45.97 €
Horizons in Cancer Research Hiroto S Watanabe / Livro Livro de capa dura
common.buy 286.07 €
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Livro Capa mole
common.buy 11.00 €
Golden Treasury of the History, Topography, Literature, Science, Art, and Religion of the Various Countries of the Globe James (University of the Highlands and Islands) Hunter / Livro Livro de capa dura
common.buy 33.44 €
How to Write Fanfiction Howexpert Press / Livro Capa mole
common.buy 16.36 €
How Claims Spread Joel Best / Livro Capa mole
common.buy 47.28 €
Tide Running Oonya Kempadoo / Livro Capa mole
common.buy 19.29 €
Journey to Meet Beethoven Pat Champness / Livro Capa mole
common.buy 9.29 €
Teaching Is a Privilege Elizabeth Cervini Manvell / Livro Livro de capa dura
common.buy 132.17 €
Birds of Myanmar Kyaw Nyunt Lwin / Livro Capa mole
common.buy 45.56 €
Beauchamp Hall Danielle Steel / Livro Capa mole
common.buy 25.56 €
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Livro Capa mole
common.buy 5.24 €
Beyond 2.0 Steve Collins / Livro Capa mole
common.buy 29.70 €
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Livro Capa mole
common.buy 81.94 €
Cinema of the 70s: 101 Iconic Movies John H Foote / Livro Capa mole
common.buy 18.38 €

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