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

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Automated Technology for Verification and Analysis Ahmed Bouajjani
Código Libristo: 01656599
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, setembro 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Descrição completa
? points 136 b
56.03 €
Armazenamento externo Envio em 14-21 dias

Até 30 dias para devoluções

Os clientes também compraram

Endemische Kretinismus F.de Quervain / Livro Capa mole
common.buy 53.10 €
Erinnerungen eines Reserveoffiziers Eberhard von Breitenbuch / Livro Capa mole
common.buy 15.26 €
J.R.R. Tolkien meséi John Ronald Reuel Tolkien / Livro Livro de capa dura
common.buy 10.41 €
Vedantadipah Volume 1 Bdaryaa / Livro Capa mole
common.buy 15.67 €
Les limites de la rationalité colloque de Cerisy Colloque de Cerisy / Livro Capa mole
common.buy 43.18 €
SANANDO A EVA Dra. Leonarda Durán Buike / Livro Capa mole
common.buy 14.05 €
Anleitung zum Bestimmen der Familien der Phanerogamen Franz Thonner / Livro Capa mole
common.buy 35.70 €
De l’exil à la présence de Dieu Goligher / Livro Capa mole
common.buy 11.52 €
Principal
Peppa és a legjobb szülinapi zsúr / Livro Folha
common.buy 2.52 €
Master Musicians Of Jajouka Led By Bachir Attar: Jajouka Between The Mountains The Master Musicians of Jajouka / Áudio CD de áudio
common.buy 16.98 €
Bello, elegante e con la fede al dito Andrea Vitali / Livro Capa mole
common.buy 20.22 €
Vzpomínky má každý Alžběta Ottová / Livro Capa mole
common.buy 6.06 €
Auswirkungen von Basel II auf Unternehmensgrundungen hinsichtlich Kreditkonditionen Christa Weinrauch / Livro Capa mole
common.buy 17.09 €
Processo estratégico de tomada de decis?o sobre investimento direto estrangeiro Hussam Al Halbusi / Livro Capa mole
common.buy 36.32 €
La transposition de la Directive (UE) 2019/1023 dite "restructuration et insolvabilité" - La place d Oleksiy Kononov / Livro Capa mole
common.buy 81.12 €
Кайдзен Masaaki Imai / Livro Capa mole
common.buy 18.40 €
Peinture En Europe, Catalogues Raisonnes. Rome. Les Musees, Les Collections Particulieres Georges Edouard Lafenestre / Livro Capa mole
common.buy 31.65 €
Le Grand Dictionnaire Historique. Tome 1, Partie 2 Moreri-L / Livro Capa mole
common.buy 37.32 €
As sete mortes Carlos Vila Sexto / Livro Capa mole
common.buy 18.30 €
Synthese Artifizieller Peptide zur Erzeugung von Supramolekularen Architekturen und zur Markie-rung von Biomolekülen Selda Kabatas / Livro Capa mole
common.buy 52.90 €
Immer Trouble mit Gender? Petra Josting / Livro Capa mole
common.buy 16.98 €
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Livro Capa mole
common.buy 38.33 €
Hören, Lesen, Fernsehen - und sie spielen trotzdem Walter Klingler / Livro Capa mole
common.buy 23.76 €
Claude Fauchet, l'Intrus Du Calvados SANS AUTEUR / Livro Capa mole
common.buy 12.13 €

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

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 Ahmed Bouajjani, Wei-Ngan Chin
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2010
Número de páginas 404
EAN 9783642156427
ISBN 3642156428
Código Libristo 01656599
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 624
Dimensões 327 x 239 x 28

Categorias

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 > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Sistemas operativos
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

PREMO: A Framework for Multimedia Middleware David Duke / Livro Capa mole
common.buy 51.68 €
Alone at Sea John N. Morris / Livro Capa mole
common.buy 23.76 €
Learning Medicine Peter Richards / Livro Capa mole
common.buy 61.59 €
Producing Success: A Career Guide for Conference Producers David M Hoffman / Livro Capa mole
common.buy 14.05 €
Barack Obama in his Own Words Lisa Rogak / Livro Capa mole
common.buy 16.18 €
I See You... Michaela Pirie / Livro Capa mole
common.buy 15.77 €
Easywriter and Grammar Girl's 101 Words Every High School Graduate Needs to Know, Fourth Edition Andrea A. Lunsford / Livro Livro de capa dura
common.buy 49.05 €
Secret War Against Hanoi Richard H. Shultz / Livro Capa mole
common.buy 16.18 €
Ss93 Regions Near and Far Pupil Edition Grade 4 / Livro Livro de capa dura
common.buy 121.38 €
Irish Scenes, Eighteen Years Ago IRISH SCENES / Livro Livro de capa dura
common.buy 30.03 €
Helmholtz Portfolio Theme Large-Scale Data Management and Analysis (LSDMA) Christopher Jung / Livro Capa mole
common.buy 41.06 €
Memoir of a Nazarene Edward J Murray / Livro Livro de capa dura
common.buy 31.25 €
1968 Robert P Fitton / Livro Capa mole
common.buy 18.30 €
Anecdotes Of Literature And Scarce Books V6 William Beloe / Livro Capa mole
common.buy 39.14 €
Powering Future Micro Air Vehicles Daniel J Markham / Livro Capa mole
common.buy 13.85 €
Step By Step Mixing Bjorgvin Benediktsson / Livro Capa mole
common.buy 15.77 €
Novo
The Making of Mexico Pamela K. Starr / Livro Livro de capa dura
common.buy 60.99 €
The Strangers: Chapter 1 / Vídeo DVD
common.buy 7.88 €
Lebanese Baking ABOOD MAUREEN / Livro Livro de capa dura
common.buy 25.08 €
Scent of Flowers at Night Leila Slimani / Livro Capa mole
common.buy 10.81 €
Adult Coloring Book Relax: Intricate Patterns And Designs To Color, Calming Coloring Activity Book For Stress Relief, Christmas Gift, Birthday Gi Harper Lee Browning / Livro Capa mole
common.buy 7.27 €
Essential Biochemistry: University of Texas at Austin, CH 369 Fundamentals of Biochemistry [With CDROM] Kathleen Cornely / Livro Capa mole
common.buy 114.50 €
Money And Legal Tender In The United States (1877) Henry Richard Linderman / Livro Capa mole
common.buy 24.67 €

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?