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

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Tayssir Touili
Código Libristo: 01656210
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2010
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Descrição completa
? points 280 b
115.93 €
Armazenamento externo Envio em 14-21 dias

Até 30 dias para devoluções

Os clientes também compraram

Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi / Livro Capa mole
common.buy 46.41 €
Luoghi e itinerari della riviera del Brenta e del Miranese / Livro Capa mole
common.buy 19.45 €
Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling / Livro Livro de capa dura
common.buy 24.11 €
A Business Proposal n? 03 Narak / Livro Capa mole
common.buy 18.84 €
Plastic Hearts Miley Cyrus / Áudio CD de áudio
common.buy 14.79 €
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Jogo/brinquedo Brinquedo
common.buy 4.55 €
Vitametrie® Joachim Heuser / Livro Capa mole
common.buy 17.02 €
Všetko o kúpeľni collegium / Livro Capa mole
common.buy 3.54 €
Personalabrechnung Auf Den Punkt Marianne Kiepe / Livro Capa mole
common.buy 75.49 €
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Livro Capa mole
common.buy 40.12 €
Hermann von Salza Heinrich Hävernick / Livro Capa mole
common.buy 22.39 €
Borkum einst und jetzt B. Huismann / Livro Capa mole
common.buy 16.21 €
Israel Gerrit Michel / Livro Capa mole
common.buy 50.05 €
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Livro Capa mole
common.buy 17.22 €
Orta in giallo Erica Gibogini / Livro Capa mole
common.buy 13.77 €
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Livro Capa mole
common.buy 43.87 €
El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Livro Capa mole
common.buy 51.27 €
Cesta k rovnováze Pavel Kohout / Livro Capa mole
common.buy 6.07 €
Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa / Livro Capa mole
common.buy 14.08 €
Inklusive Schule und Vielfalt Gottfried Biewer / Livro Capa mole
common.buy 22.49 €

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

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 Computer Aided Verification
Autor Tayssir Touili, Byron Cook, Paul Jackson
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2010
Número de páginas 676
EAN 9783642142949
ISBN 364214294X
Código Libristo 01656210
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 961
Dimensões 155 x 238 x 28

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 > Equipamento informático > Equipamento em rede
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
Informática & tecnologia da informação > Tecnologia da informação: generalidades
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

Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Livro Livro de capa dura
common.buy 113.50 €
Spatial Analysis and GeoComputation Manfred M. Fischer / Livro Capa mole
common.buy 103.16 €
Research in Computational Molecular Biology Benny Chor / Livro Capa mole
common.buy 57.35 €
Early Bicycles and the Quest for Speed Andrew Ritchie / Livro Capa mole
common.buy 45.09 €
Vtt Example Joint Author / Livro Capa mole
common.buy 19.55 €
BAROQUE SPIRIT THE BOOK 1 NANCY EDITO BACHUS / Livro Capa mole
common.buy 15.29 €
Euro-Orientalism Ezequiel Adamovsky / Livro Capa mole
common.buy 95.46 €
It's Only Me John Underwood / E-book Adobe ePub DRM
common.buy 24.41 €
Golden Chain Algis Uzdavinys / E-book Adobe ePub DRM
common.buy 39.92 €
100 Things Bills Fans Should Know & Do Before They Die Jeffrey J. Miller / E-book Adobe ePub DRM
common.buy 12.86 €
Pale Horse Rider Mark Jacobson / E-book Adobe ePub DRM
common.buy 18.84 €
Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti / Livro Capa mole
common.buy 21.48 €
Laparoscopic Colorectal Surgery Mark Coleman / Livro Livro de capa dura
common.buy 307.78 €
Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer / Livro Capa mole
common.buy 17.12 €
Moult and Ageing of European Passerines Lukas Jenni / Livro Livro de capa dura
common.buy 92.32 €
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Livro Capa mole
common.buy 8.10 €
How To Create, Market & Sell Audiobooks: What Every Author Should Know About Audiobook Leland Benton / Livro Capa mole
common.buy 9.82 €
The Pathfinder; Or, The Inland Sea James Fenimore Cooper / Livro Capa mole
common.buy 8.10 €
Double Exposure: A Twin Autobiography Thelma Furness / Livro Livro de capa dura
common.buy 47.32 €
Ink Stained Hands Jennifer Rapp / Livro Capa mole
common.buy 14.89 €
C++ Reactive Programming Peter Abraham / Livro Capa mole
common.buy 49.75 €
Practical Guide to Managing Clinical Trials Pfeiffer / Livro Capa mole
common.buy 72.25 €
Principal
Flash by Geoff Johns Omnibus Vol. 1 Geoff Johns / Livro Livro de capa dura
common.buy 72.45 €
Human Magnetoreception Tyson Platt / Livro Capa mole
common.buy 50.05 €

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?