Items related to Automated Technology for Verification and Analysis:...

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science, 5311) - Softcover

 
9783540883869: Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science, 5311)

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Buy Used

Condition: Very Good
Ex-library paperback in very nice...
View this item

US$ 6.99 shipping within U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9783540884224: Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)

Featured Edition

ISBN 10:  354088422X ISBN 13:  9783540884224
Softcover

Search results for Automated Technology for Verification and Analysis:...

Stock Image

Cha, Sungdeok [Editor]; Choi, Jin-Young [Editor]; Kim, Moonzoo [Editor]; Viswanathan, Mahesh [Editor];
Published by Springer, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # 11031

Contact seller

Buy Used

US$ 47.74
Convert currency
Shipping: US$ 6.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

INSUP LEE, JIN-YOUNG CHOI, SUNGDEOK CHA
Published by Springer, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
New Softcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-354796

Contact seller

Buy New

US$ 59.21
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540883869

Contact seller

Buy New

US$ 54.99
Convert currency
Shipping: US$ 7.98
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020177774

Contact seller

Buy New

US$ 60.00
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
New Softcover

Seller: ALLBOOKS1, Direk, SA, Australia

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Seller Inventory # SHUB354796

Contact seller

Buy New

US$ 70.59
Convert currency
Shipping: FREE
From Australia to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540883869_new

Contact seller

Buy New

US$ 70.94
Convert currency
Shipping: US$ 16.24
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Mahesh Viswanathan
Published by Springer 2008-11-14, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
New Paperback

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540883869

Contact seller

Buy New

US$ 66.96
Convert currency
Shipping: US$ 20.99
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Sungdeok Cha
ISBN 10: 354088386X ISBN 13: 9783540883869
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 448 pp. Englisch. Seller Inventory # 9783540883869

Contact seller

Buy New

US$ 64.83
Convert currency
Shipping: US$ 27.07
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Cha, Sungdeok|Choi, Jin-Young|Kim, Moonzoo|Viswanathan, Mahesh
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . Seller Inventory # 4901833

Contact seller

Buy New

US$ 58.63
Convert currency
Shipping: US$ 57.66
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Cha, Sungdeok (Editor)/ Choi, Jin-Young, Ph.D. (Editor)/ Kim, Moonzoo (Editor)
Published by Springer-Verlag New York Inc, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. illustrated edition edition. 444 pages. 9.00x6.00x1.00 inches. In Stock. Seller Inventory # x-354088386X

Contact seller

Buy New

US$ 94.68
Convert currency
Shipping: US$ 33.88
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 5 more copies of this book

View all search results for this book