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

132 b

54.57 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

mistica della riparazione Divo Barsotti

Livro

11.56 €

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

Capa mole

52.95 €

Tableau de l'état physique et moral des ouvriers employés

Capa mole

66.14 €

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

Livro de capa dura

17.24 €

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

Livro de capa dura

17.24 €

10 años con Mafalda Quino

Capa mole

20.38 €

Ambrozja Szron i ambrozja Tom 2 Crawford C.N.

Capa mole

9.42 €

battaglia perduta e vinta. Napoleone a Marengo Gianluca Albergoni

Capa mole

19.67 €

Sen o srnčí zvěři Josef Drmota

Livro de capa dura

10.64 €

Cyberspace: A New Battlefield for Human Interests Peter Fleissner

Livro

32.05 €

La Comtesse de Rudolstadt. Tome 2 George Sand

Capa mole

26.27 €

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

Capa mole

33.16 €

Journal of African Archaeology Peter Breunig

Capa mole

16.83 €

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

Capa mole

8.61 €

Catalunya: de la identitat a la independència (nova edició) Rubert de Ventós

Capa mole

18.15 €

Das Strafrecht Der Langobarden (1863) Eduard Osenbruggen

Capa mole

26.06 €

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

Capa mole

23.12 €

Powys 1999 Stats

CD de áudio

16.02 €

Die Oracle Datenbank 19c Thorsten Grebe

Livro de capa dura

89.77 €

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

Capa mole

36.82 €

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

Capa mole

11.35 €

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.