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

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Armin Biere
Código Libristo: 02775219
Editoras Springer International Publishing AG, agosto 2014
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verific... Descrição completa
? points 262 b
107.82 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Isola d'Elba e Pianosa Russo William Dello / Livro Capa mole
common.buy 14.96 €
Moneta Regis: Konigliche Munzstatten Und Konigliche Munzpolitik in Der Stauferzeit Norbert Kamp / Livro Livro de capa dura
common.buy 103.70 €
Tief ist der Brunnen der Vergangenheit Gerhard Danzer / Livro Livro de capa dura
common.buy 27.32 €
Sneaker Obsession Pauwels / Livro Capa mole
common.buy 21.29 €
The Compound Effect Darren Hardy / Livro Capa mole
common.buy 19.79 €
Lessings Werke Gotthold E. Lessing / Livro Capa mole
common.buy 74.76 €
Mut ist der Anfang vom Gluck Heike Karen Gurtler / E-book Adobe ePub DRM
common.buy 13.15 €
Sestra lovca bosoriek Beth Underdown / Livro Livro de capa dura
common.buy 9.94 €
Imageanalyse der TSG Ludwigshafen-Friesenheim Sebastian Bronner / Livro Capa mole
common.buy 45.01 €
Procvičujeme si Psaní y/ý a i/í po tvrdých a měkkých souhláskách a psaní ě Vlasta Švejdová / Livro Capa mole
common.buy 2.50 €
Abalone Go Michel Lalet / Jogo/brinquedo Jogo
common.buy 14.46 €
CD MP3 Pęknięte królestwo Renata Czarnecka / Audiolivro Audiolivro
common.buy 8.23 €
Kulturelle Diversitat und die Modeklammer - der Einfluss von kultureller Diversitat auf international agierende Unternehmen in der Modebranche Johannes Lenhard / Livro Capa mole
common.buy 17.98 €
DAN DA DAN 14 Yukinobu Tatsu / Livro Capa mole
common.buy 9.64 €
Harry Potter - Kit de pâtisserie et moules - Fabrique ton Vif d'Or en chocolat ! The Wizarding World / Livro Livro de capa dura
common.buy 16.27 €
Charles Hueber, le maire oublié de Strasbourg KRIEGER / Livro Capa mole
common.buy 28.33 €
Láska moja sa stráca Ján Smrek / Livro Livro de capa dura
common.buy 17.48 €
Elliott Erwitt's Rome Elliott Erwitt / Livro Livro de capa dura
common.buy 81.79 €
Schott Master Class Cello, m. 2 DVDs Maria Kliegel / Livro Livro de capa dura
common.buy 65.81 €
Hubert und Staller. Staffel.4, 6 DVDs Christian Tramitz / Vídeo DVD
common.buy 24.11 €
Bates Motel. Season.3, 3 DVDs Vera Farmiga / Vídeo DVD
common.buy 24.02 €
Die Berechnung des Waldkapitals Theodor Glaser / Livro Capa mole
common.buy 28.13 €
Un prince sans royaume Timothée de Fombelle / Livro Capa mole
common.buy 10.74 €
PALABRAS QUE NOS SOSTIENEN / Livro Capa mole
common.buy 19.49 €

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.§§The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

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 Armin Biere, Roderick Bloem
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 877
EAN 9783319088662
ISBN 3319088661
Código Libristo 02775219
Editoras Springer International Publishing AG
Peso 1352
Dimensões 155 x 235 x 48

Categorias

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 > Sistemas operativos
Informática & tecnologia da informação > Gestão de redes & comunicação 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

Dynamic Systems Models Josif A. Boguslavskiy / Livro Livro de capa dura
common.buy 107.82 €
Shades of Earl Grey Laura Childs / Livro Capa mole
common.buy 7.13 €
The Garret and The Garden Robert Michael Ballantyne / Livro Capa mole
common.buy 6.82 €
Land Transfer Reform, Or, the Free Transfer of Land: Scientific Registration and Indexing of Land Records, Including Explanation of Proposed Legislati Dwight Hinckley Olmstead / Livro Capa mole
common.buy 15.87 €
Criticism of the New Testament Francis Crawford Burkitt / Livro Livro de capa dura
common.buy 33.25 €
BEAUCHAMP: OR THE WHEEL OF FORTUNE JAMES HOLR FIELDING / Livro Livro de capa dura
common.buy 39.99 €
Kicad - Getting Started in Kicad David Jahshan / Livro Capa mole
common.buy 19.69 €
Censored 1996: The 1996 Project Censored Yearbook Carl Jensen / Livro Capa mole
common.buy 15.06 €
Omega Factor John G. Henning / Livro Capa mole
common.buy 16.87 €
From the Garden Michael Dahl / Livro Capa mole
common.buy 8.53 €
How to Read the Chinese Novel David L. Rolston / Livro Capa mole
common.buy 112.24 €
Encyclopedia of Card Tricks Glenn Gravatt / Livro Capa mole
common.buy 15.06 €
Classification of Pseudo-reductive Groups (AM-191) Gopal Prasad / Livro Capa mole
common.buy 110.03 €
Elephants Can't Hide Forever Pete Plenge / Livro Capa mole
common.buy 15.87 €
Moncada Webster Hare Paul Webster Hare / Livro Capa mole
common.buy 17.58 €
Laird's Luck and Other Fireside Tales A T Quiller-Couch / Livro Capa mole
common.buy 21.80 €
Fundamental Research in Moral Development Bill Puka / Livro Livro de capa dura
common.buy 75.66 €
Mobilizing India Tejaswini Niranjana / Livro Capa mole
common.buy 38.58 €
Functional Foods and Nutraceuticals in Cancer Prevention Ronald Ross Watson / Livro Livro de capa dura
common.buy 258.76 €
Organizational Sweet Spot Charles Ehin / Livro Livro de capa dura
common.buy 59.88 €
Alphabet Fun: B is for Banana Nick Rebman / Livro Livro de capa dura
common.buy 33.55 €
On the Edge / Livro Capa mole
common.buy 16.87 €
Lawbreaker Diana Palmer / Audiolivro MP3
common.buy 15.57 €
Principal
Musculoskeletal Ultrasound for the Rheumatologist George A.W. Bruyn / Livro Capa mole
common.buy 105.61 €

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?