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

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 222 b
91.75 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Rundreise Kalifornien mit Las Vegas (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendário/Diário Calendário
common.buy 17.27 €
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 15.15 €
DAN DA DAN 14 Yukinobu Tatsu / Livro Capa mole
common.buy 8.18 €
Tief ist der Brunnen der Vergangenheit Gerhard Danzer / Livro Livro de capa dura
common.buy 21.72 €
Isola d'Elba e Pianosa Russo William Dello / Livro Capa mole
common.buy 20.71 €
Sestra lovca bosoriek Beth Underdown / Livro Livro de capa dura
common.buy 8.28 €
Wir smart 4. Język niemiecki. Szkoła podstawowa. Klasa 7. Smartbuch + kod dostępu praca zbiorowa / Livro Capa mole
common.buy 9.99 €
Los frutos siderales MORA ALAMEDA / Livro Capa mole
common.buy 12.32 €
Mut ist der Anfang vom Gluck Heike Karen Gurtler / E-book Adobe ePub DRM
common.buy 11.21 €
Lettere. Testo greco a fronte Platone / Livro Livro de capa dura
common.buy 43.24 €
The Compound Effect Darren Hardy / Livro Capa mole
common.buy 16.46 €
Sneaker Obsession Pauwels / Livro Capa mole
common.buy 17.47 €
Bates Motel. Season.3, 3 DVDs Vera Farmiga / Vídeo DVD
common.buy 20.71 €
Einführung in das GmbH-Recht Werner Borns / Livro Capa mole
common.buy 34.45 €
Kulturelle Diversitat und die Modeklammer - der Einfluss von kultureller Diversitat auf international agierende Unternehmen in der Modebranche Johannes Lenhard / Livro Capa mole
common.buy 15.05 €
Imageanalyse der TSG Ludwigshafen-Friesenheim Sebastian Bronner / Livro Capa mole
common.buy 37.68 €
Lessings Werke Gotthold E. Lessing / Livro Capa mole
common.buy 62.74 €
Als Vagabund um die Erde Harry Franck / Livro Capa mole
common.buy 54.96 €
Untersuchung Des W rmeinhalts, Der W rmeleitf higkeit Und Der Elektrischen Leitf higkeit Von Schmelzkalk Wilhelm Anton Fischer / Livro Capa mole
common.buy 47.28 €
Beschaffungsplanung Und Budgetierung Heinz Stark / Livro Capa mole
common.buy 47.28 €
25 Jahre Kaiser Wilhelm-Gesellschaft Max Planck / Livro Capa mole
common.buy 47.28 €
Betrieb Und Und Bedienung Von Ortsfesten Viertakt-Dieselmaschinen Arthur Balog / Livro Capa mole
common.buy 47.28 €
Die Zustimmung der Bundesregierung zu Verträgen der Bundesländer mit auswärtigen Staaten gemäß Art. 32 III GG. Peter Seidel / Livro Capa mole
common.buy 41.83 €
Láska moja sa stráca Ján Smrek / Livro Livro de capa dura
common.buy 14.44 €

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

Omega Factor John G. Henning / Livro Capa mole
common.buy 14.04 €
British Woodies from the 1920s to the 1950s Colin Peck / Livro Capa mole
common.buy 12.92 €
Anti-Death League Kingsley Amis / Livro Capa mole
common.buy 9.39 €
How to Read the Chinese Novel David L. Rolston / Livro Capa mole
common.buy 70.32 €
Mobilizing India Tejaswini Niranjana / Livro Capa mole
common.buy 32.73 €
Moncada Webster Hare Paul Webster Hare / Livro Capa mole
common.buy 14.04 €
Em breve
Numbers Matching Games and Book KATE NOLAN / Jogo/brinquedo Jogo
common.buy 6.96 €
Shades of Earl Grey Laura Childs / Livro Capa mole
common.buy 5.65 €
From the Garden Michael Dahl / Livro Capa mole
common.buy 6.86 €
750 Spanish Verbs and Their Uses Zamir / Livro Capa mole
common.buy 24.75 €
Censored 1996: The 1996 Project Censored Yearbook Carl Jensen / Livro Capa mole
common.buy 12.42 €
Clementine Deliss Clémentine Deliss / Livro Livro de capa dura
common.buy 13.73 €
Kicad - Getting Started in Kicad David Jahshan / Livro Capa mole
common.buy 16.36 €
BEAUCHAMP: OR THE WHEEL OF FORTUNE JAMES HOLR FIELDING / Livro Livro de capa dura
common.buy 33.44 €
Criticism of the New Testament Francis Crawford Burkitt / Livro Livro de capa dura
common.buy 27.78 €
The Garret and The Garden Robert Michael Ballantyne / Livro Capa mole
common.buy 5.65 €
Every Last Secret A. R. Torre / Livro Capa mole
common.buy 8.18 €
Apache Spark Quick Start Guide Shrey Mehrotra / Livro Capa mole
common.buy 29.50 €
Complete Works of W.H. Auden W. H. Auden / Livro Livro de capa dura
common.buy 338.72 €
Lost and Found Dara Girard / Livro Capa mole
common.buy 7.47 €
How Spitsbergen Heats The World Arnd Bernaerts / Livro Capa mole
common.buy 15.75 €
Musculoskeletal Ultrasound for the Rheumatologist George A.W. Bruyn / Livro Capa mole
common.buy 89.52 €
100 Number One Hits for Trumpet PETER LAVENDER / Livro Capa mole
common.buy 40.11 €
Field Palaeontology Roland Goldring / Livro Capa mole
common.buy 80.43 €

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