Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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: 53.79 EUR
Availability: InStock
Author: Sungdeok Cha
ISBN: 9783540883869

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

Language

English

Book Paperback

Libristo code: 01570809

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2008

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Techn... Full description

Libristo code: 01570809

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

mistica della riparazione Divo Barsotti

Book

10.59 €

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

Hardback

18.00 €

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

Hardback

18.00 €

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

Paperback

39.99 €

Cyberspace: A New Battlefield for Human Interests Peter Fleissner

Book

33.39 €

battaglia perduta e vinta. Napoleone a Marengo Gianluca Albergoni

Paperback

21.69 €

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

Paperback

52.19 €

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

Paperback

12.29 €

Die Oracle Datenbank 19c Thorsten Grebe

Hardback

89.99 €

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

Paperback

23.89 €

Das Strafrecht Der Langobarden (1863) Eduard Osenbruggen

Paperback

26.89 €

Sen o srnčí zvěři Josef Drmota

Hardback

10.79 €

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

Paperback

8.89 €

Journal of African Archaeology Peter Breunig

Paperback

45.00 €

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

Paperback

34.90 €

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.