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

Automated Technology for Verification and Analysis

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Automated Technology for Verification and Analysis Susanne Graf
Código Libristo: 01564910
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, outubro 2006
This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec... Descrição completa
? points 132 b
54.26 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Révélations Galactiques Tome 2 - Sortir de la matrice Givaudan / Livro Capa mole
common.buy 21.88 €
Familienplaner 2026 - In Gedanken auf den Seychellen mit 5 Spalten (Wandkalender, 21 x 45 cm) CALVENDO Calvendo / Calendário/Diário Calendário
common.buy 20.67 €
Kuroko's Basketball Season 2 Vol.1 (Blu-ray) / Vídeo Blu-ray
common.buy 57.89 €
Preparation A La Mort. 9e Edition Jean Crasset / Livro Capa mole
common.buy 17.34 €
Terror In Taos Chet Cunningham Audiolivro MP3
common.buy 24.10 €
Reise Know-How Wohnmobil-Tourguide Südtirol mit Gardasee Michael Moll / Livro Capa mole
common.buy 23.69 €
Tragizm polityki naszych czasów. Strach, fatum i brzemię władzy Robert D. Kaplan / Livro Capa mole
common.buy 11.89 €
Gesammelte Schriften: Die Grundung Prags: Ein Historisch-Romantisches Drama Clemens Brentano / Livro Capa mole
common.buy 26.92 €
August Schneegans, 1835-1898: Memoiren Ein Beitrag Zur Geschichte Des Elsasses in Der Ubergangszeit (1904) August Schneegans / Livro Capa mole
common.buy 38.12 €
Viage De Espa?a, Volume 2 Antonio Ponz / Livro Capa mole
common.buy 25.61 €
EL LLIBRE QUE ES MOU ANNE-SOPHIE BAUMANN / Livro Livro de capa dura
common.buy 14.72 €
Amor fou MARTA SANZ / Livro Capa mole
common.buy 27.43 €
Almanach českých šlechtických a rytířských rodů 2028 Karel Vavřínek / Livro Folha
common.buy 8.36 €
Dictionnaire Historique de l'Ancien Langage Francois.Tome IV. Chie-Deca De Sainte-Palaye-J-B / Livro Capa mole
common.buy 31.96 €
16 Romantische Welterfolge, 1 Audio-CD arious / Áudio CD de áudio
common.buy 10.38 €

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.§The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

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 Automated Technology for Verification and Analysis
Autor Susanne Graf, Wenhui Zhang
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2006
Número de páginas 546
EAN 9783540472377
ISBN 3540472371
Código Libristo 01564910
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1710
Dimensões 155 x 235 x 30

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento
Informática & tecnologia da informação > Aplicações gráficas & para media digitais > Design assistido por computador (CAD)
Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
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

Guillaume Michael Arno Bender / Livro Capa mole
common.buy 22.58 €
Were- Patricia Bray / Livro Capa mole
common.buy 14.92 €
Anne of Ingleside L M Montgomery / Livro Capa mole
common.buy 12.60 €
The Ash Beneath My Feet Lucia Fudge / Livro Capa mole
common.buy 9.57 €
Homemade Bath Bombs and Bubble Baths: Simple to Make DIY Bath Bomb and Bubble Bath Recipes Josephine Simon / Livro Capa mole
common.buy 9.87 €
Nowhere to Hide R. SAMUEL BATY / Livro Capa mole
common.buy 9.17 €
Quicksilver War: Syria, Iraq and the Spiral of Conflict William Harris / Livro Livro de capa dura
common.buy 32.57 €
The Supplies of Room Nine Learn to Shine Jessica Lewis / Livro Livro de capa dura
common.buy 13.10 €
Enigma En El Laberinto De Maiz Pedro Tena Tena / Livro Capa mole
common.buy 15.42 €
DBT Therapy Workbook for Teens & Parents Kardas Publishig / Livro Capa mole
common.buy 19.36 €
Adobe Photoshop Lightroom Classic Classroom in a Book (2022 release) Rafael Concepcion / Livro Capa mole
common.buy 50.12 €
My Hero Academia: Smash!!, Vol. 5 Kohei Horikoshi / Livro Capa mole
common.buy 9.27 €
What's Wrong with the World G. K. Chesterson / Livro Livro de capa dura
common.buy 15.73 €
Antiklotzius (1762) Pieter Burman / Livro Capa mole
common.buy 23.69 €
HCG-DIET; What Dr. Simeons Really Said Susan Margret Wimmer / Livro Capa mole
common.buy 23.69 €
Em breve
THE WAY OF JESUS Rebecca Pippert / Livro Capa mole
common.buy 9.27 €
Principal
Harry Potter and the Goblet of Fire (Harry Potter, Book 4) (Interactive Illustrated Edition) Joanne K. Rowling / Livro Livro de capa dura
common.buy 38.32 €
Change and Progress in Modern Science Joseph C. Pitt / Livro Livro de capa dura
common.buy 175.09 €
Perfect Imperfect MCCARTNEY KAREN / Livro Livro de capa dura
common.buy 37.31 €
Beyond the Lettered City Joanne Rappaport / Livro Capa mole
common.buy 45.98 €
Due Diligence for Global Deal Making - The Definitive Guide to Cross-Border Mergers and Acquisitions, Joint Ventures, Financings, and Stra Rosenbloom / Livro Livro de capa dura
common.buy 66.96 €
Em breve
Dance of the Sleepwalkers Calabria / Livro Livro de capa dura
common.buy 44.87 €
Bring Your Vision To Life Ralph McCall / Livro Capa mole
common.buy 9.17 €
Sexual Politics in the Work of Tennessee Williams Michael S. D. Hooper / Livro Capa mole
common.buy 48.00 €

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?