Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570809
Price: 51.68 EUR
Availability: InStock
Author: Sungdeok Cha
ISBN: 9783540883869

6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Língua

Inglês

Livro Capa mole

Código Libristo: 01570809

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, setembro 2008

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Techn... Descrição completa

Código Libristo: 01570809

125 b

51.68 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

mistica della riparazione Divo Barsotti

Livro

9.30 €

Im Schatten meiner Schwester. Life is a Story - story.one Alicia Corinna Katharina Angela Hellwig

Livro de capa dura

16.28 €

Die Entdeckung der Endlichkeit. Life is a Story - story.one Fabienne Falke

Livro de capa dura

16.28 €

Chrétiens latins des premiers siècles. Maurice Testard

Capa mole

35.50 €

Cyberspace: A New Battlefield for Human Interests Peter Fleissner

Livro

30.54 €

battaglia perduta e vinta. Napoleone a Marengo Gianluca Albergoni

Capa mole

18.91 €

Fractures mandibulaires, plaques biorésorbables, miniplaques en titane Shreya Gour

Capa mole

49.86 €

El futuro del aragonés. Un análisis prospectivo y social Eito Mateo

Capa mole

10.71 €

Die Oracle Datenbank 19c Thorsten Grebe

Livro de capa dura

84.76 €

A Torre Em Concurso: Comedia Burlesca Em Tres Actos (1863) Joaquim Manoel De Macedo

Capa mole

21.94 €

Das Strafrecht Der Langobarden (1863) Eduard Osenbruggen

Capa mole

24.67 €

Sen o srnčí zvěři Josef Drmota

Livro de capa dura

9.20 €

Romeo Und Julia. Zweisprachig: Englisch-Deutsch. Romeo and Juliet. Bilingual: English-German William Shakespeare

Capa mole

8.08 €

Journal of African Archaeology Peter Breunig

Capa mole

16.78 €

Landes- und Rechtsgeschichte des Herzogthums Westfalen J. S. Seibertz

Capa mole

31.25 €

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.§The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.