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 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.99 €
phone Contacto phoneComo comprar

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Interactive Theorem Proving Marko Van Eekelen
Código Libristo: 01658528
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Descrição completa
? points 146 b
59.88 €
Armazenamento externo Envio em 9-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Em breve
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Livro Livro de capa dura
common.buy 30.24 €
Ataque A Los Titanes 02. Antes De La Caida H. ISAYAMA / Livro Capa mole
common.buy 9.13 €
Lothar jesteś mój Iwona Feldmann / Livro Capa mole
common.buy 9.94 €
Commentaire Sur La Loi Du 29 Germinal an XI, Relative Aux Successions, Code Civil CHABOT-G-A / Livro Capa mole
common.buy 22.60 €
Chromatic herbarium Massimo Gardone / Livro Capa mole
common.buy 70.64 €
These Pour La Licence: Soutenue Publiquement A La Faculte de Droit de Strasbourg GAZIN-J / Livro Capa mole
common.buy 13.96 €
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Livro Capa mole
common.buy 12.55 €
Pferdekrankheiten Wilfried Bellinghausen / Livro Capa mole
common.buy 18.89 €
Manuale di un monaco buddhista per sconfiggere la paura degli altri. Tecniche per vivere meglio senza consumare la propria anima Keisuke (Shoukei) Matsumoto / Livro Livro de capa dura
common.buy 24.42 €
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Livro Capa mole
common.buy 16.97 €
Albert Einstein Johannes Wickert / Livro Capa mole
common.buy 9.64 €
Aufgewacht, lieber Osterhase: Mein Oster-Mitmachbuch Anna Karina Birkenstock / Livro Livro concertina
common.buy 5.92 €
Principal
Mi ketten - Egy év az erdőben Michael Engler / Livro Livro de capa dura
common.buy 12.75 €
Rossa e plebea. Pisa, mezzo secolo fa Luciano Luciani / Livro Capa mole
common.buy 26.33 €
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Livro Capa mole
common.buy 9.54 €
Peter i Lena Dwa opowiadania Astrid Lindgren / Livro Livro de capa dura
common.buy 8.33 €
Инженерная педагогика в процессе подготовки специалистов для индустрии питания. Учебное пособие для вузов Л. А. Маюрникова / Livro Capa mole
common.buy 18.48 €
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Livro Capa mole
common.buy 16.97 €
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Livro Capa mole
common.buy 46.82 €
Terror Ferdinand von Schirach / Livro Capa mole
common.buy 11.45 €
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Livro Livro
common.buy 22.70 €
Resume Des Debats Pour Les Proprietaires Opposants A l'Impot Des Egouts Sans Auteur / Livro Capa mole
common.buy 11.95 €
Walt Disney Captivating History / Livro Livro de capa dura
common.buy 22.10 €
Chancen und Grenzen der "Foreign Policy Branding-Strategie in Katar Mayra Condemarin / Livro Capa mole
common.buy 16.97 €

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, 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 Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2011
Número de páginas 383
EAN 9783642228629
ISBN 3642228623
Código Libristo 01658528
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 605
Dimensões 155 x 235 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 > 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 Technologies and Sociotechnical Systems Hongbin Zha / Livro Capa mole
common.buy 59.88 €
Interactive Theorem Proving Matt Kaufmann / Livro Capa mole
common.buy 118.17 €
Interactive Video Riad Hammoud / Livro Capa mole
common.buy 107.82 €
Interactive Theorem Proving and Program Development Yves Bertot / Livro Livro de capa dura
common.buy 126.71 €
I, Judas Iscariot Lloyd H Muller / Livro Capa mole
common.buy 9.03 €
The Russians and Ruthenians in America: Bolsheviks or Brothers? Jerome Davis / Livro Capa mole
common.buy 24.51 €
Shadow Genesis: Inception 2 Ricky Thomas Jr / Livro Capa mole
common.buy 15.06 €
Firefighters / Livro Capa mole
common.buy 9.44 €
Top Secret Pod Idea Book: 8.5 x 11 120 page POD IDEA TRACKER BOOK Empti Art Pod Books / Livro Capa mole
common.buy 10.74 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Livro Capa mole
common.buy 52.45 €
Económico
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Livro Capa mole
common.buy 3.41 €
Foundations of Paleoecology S. Kathleen Lyons / Livro Livro de capa dura
common.buy 183.69 €
Finding Father Mary Ann Loewen / Livro Capa mole
common.buy 25.92 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Livro Capa mole
common.buy 17.78 €
2003 Technology Collection Trends in the U.S. Defense Industry Department of Defense / Livro Capa mole
common.buy 15.97 €
Christmas Books of Mr. M.A. Titmarsh William Makepeace Thackeray / Livro Capa mole
common.buy 27.42 €
Bigfoot And Santa Get Trashed In Vegas Raven Blackbird / Livro Capa mole
common.buy 6.82 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Livro Capa mole
common.buy 46.32 €
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Livro Capa mole
common.buy 15.06 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Livro Capa mole
common.buy 13.25 €
Race and Redemption Jane Samson / Livro Capa mole
common.buy 49.03 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Livro Capa mole
common.buy 14.57 €
Richard II Tom Wheelwright / Audiolivro MP3
common.buy 15.57 €
Tullete Tøysete Hunder Christin Borge / Livro Capa mole
common.buy 13.76 €

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?