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

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Automated Technology for Verification and Analysis Zhiming Liu
Código Libristo: 01650641
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, setembro 2009
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for... Descrição completa
? points 125 b
51.54 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

The Call of the Wild (Spanish Edition) / La llamada de lo Salvaje Jack London / Livro Livro de capa dura
common.buy 12.60 €
Vitae Paparum Avenionensium V3 (1921) Etienne Baluze / Livro Capa mole
common.buy 41.66 €
Principal
Obrázková němčina 5 jídlo Petr Kupka / Livro Livro
common.buy 0.90 €
Пересвет Виктор Поротников / Livro Livro de capa dura
common.buy 16.64 €
Le Petit livre des proverbes, 2e éd. Sylvie H. Brunet / Livro Capa mole
common.buy 5.44 €
Novo
Arcobaleni Yasunari Kawabata / Livro Capa mole
common.buy 14.11 €
Em breve
Adventní kalendář – Minecraft / Livro Livro de capa dura
common.buy 25.31 €
#dkinfografik. Management einfach erklärt Alexandra Black / Livro Livro de capa dura
common.buy 16.94 €
uomo blu e le rose. Antoine de Saint-Exupéry ad Alghero Savina Dolores Massa / Livro Livro de capa dura
common.buy 28.14 €
Serie estampar con selllos nº 1. CREAR ORIGINALES SELLOS CON TACOS DE MADERA Y G HEIKE ROLAND / Livro Capa mole
common.buy 6.55 €
Graues Meer und blaue Sonnen Nathan Jaeger / Livro Capa mole
common.buy 11.69 €
Terradentro XOSE BENITO REZA / Livro Capa mole
common.buy 19.97 €
Musik-Stars - Grundwissen 3./4. Schuljahr - Übungsheft mit Lösungen und Audio-CD Solveig Wezel / Livro Capa mole
common.buy 12.30 €
Ouroboros Joel Gissy / Livro Capa mole
common.buy 6.75 €
Inklusion und Exklusion in der Sozialen Arbeit Roland Merten / Livro Capa mole
common.buy 62.44 €
Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht / Livro Capa mole
common.buy 25.92 €
Mito del Trabajo En Equipo Eugenio Ramírez / Livro Capa mole
common.buy 52.45 €
(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf / Livro Capa mole
common.buy 62.14 €
Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer / Livro Capa mole
common.buy 52.96 €
Hindi-Großstadtgeschichten, m. MP3-CD Hannelore Lötzke / Livro Capa mole
common.buy 17.85 €
Georgische Verbtabellen Steffi Chotiwari-Jünger / Livro Capa mole
common.buy 20.47 €
La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac / Livro Livro de capa dura
common.buy 20.47 €
Informationstechnologie - Einzelbände Thomas Schneider / Livro Folha
common.buy 15.83 €
Principal
Matematika pro 5. ročník ZŠ 2.díl Jaroslava Justová / Livro Capa mole
common.buy 2.71 €

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. §The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. §The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

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 Zhiming Liu, Anders P. Ravn
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2009
Número de páginas 414
EAN 9783642047602
ISBN 3642047602
Código Libristo 01650641
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 652
Dimensões 155 x 235 x 24

Categorias

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
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

Decision Making in Radiation Oncology Jiade J. Lu / Livro Livro de capa dura
common.buy 234.35 €
Design Characteristics of Virtual Learning Environments Daniel Müller / Livro Capa mole
common.buy 51.54 €
What is Medieval History? John H. Arnold / Livro Capa mole
common.buy 19.56 €
Price Behaviour of Major Crops in Bangladesh: An Empirical Analysis Shakila Salam / Livro Capa mole
common.buy 60.42 €
Historical Notices of the Edifice Called the King's Manor, Situate Near the Walls of the City of York. [an Offprint from the Twenty-Ninth Report of th Anthony Buckle / Livro Capa mole
common.buy 13.21 €
Author's Daughter. [A Novel.] Catherine Helen Spence / Livro Capa mole
common.buy 22.79 €
The Great Pyramid And Theology Joseph A. Seiss / Livro Capa mole
common.buy 17.44 €
Sharon's Poems of Life, Love, and Liberty Sharon Wiegand / Livro Capa mole
common.buy 14.52 €
Self Love and the Healing of Our Animal Friends Betsy Adams / Livro Livro de capa dura
common.buy 20.97 €
Different Shades of Gray Sand Q Perry / Livro Capa mole
common.buy 18.25 €
SUPERCLASS David Rothkopf / Livro Capa mole
common.buy 20.97 €
The Crowd Sounds Happy: A Story of Love and Madness in an American Family Nicholas Dawidoff / Livro Capa mole
common.buy 19.16 €
Essentials of Environmental Science Andrew Friedland / Livro Capa mole
common.buy 292.16 €
Tapping Student Effort: Increasing Student Achievement Stephen G. Barkley / Livro Capa mole
common.buy 23.19 €
THE COLLOQUIAL FRENCH READER; OR, INTERE LOUIS FASQUELLE / Livro Livro de capa dura
common.buy 31.77 €
Problems And Solutions In Mathematical Olympiad (High School 1) Zhigang Feng / Livro Livro de capa dura
common.buy 128.01 €
Security, Development and the Fragile State Yiagadeesen Samy / Livro Livro de capa dura
common.buy 236.27 €
Conceptual Structure in Childhood and Adolescence Christine Howe / Livro Capa mole
common.buy 55.88 €
What A Trip It Was John Brookes / Livro Capa mole
common.buy 13.31 €
Defiance: Fall of an Empire Tom Ryker / Livro Capa mole
common.buy 17.34 €
Follies in Fragile States: How international stabilisation failed in the Congo Ian D Quick / Livro Capa mole
common.buy 14.01 €
From the Land of the Snow Pearls: Tales from Puget Sound (1902) Ella Higginson / Livro Capa mole
common.buy 28.24 €
Costa Del Social Joanne St. Clair / Livro Capa mole
common.buy 7.46 €
Creative Haven Beautiful Bible Blessings Coloring Book Jessica Mazurkiewicz / Livro Capa mole
common.buy 6.35 €

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