Automated Technology for Verification and Analysis: 4th...

Cover Type: Paperback with 540 pages
Published by: Springer
Edition: 1st Edition November 20, 2006
Written in: English
ISBN 10 Number: 3540472371
ISBN 13 Number: 978-3540472377
Book Dimensions: 9 x 6.1 x 1.1 inches
Weighs: 1.6 pounds <a href="http://www.amazon.com/gp/help/seller/shipping.html/102-8860599-6365745?ie=UTF8&asin=3540472371&amp;seller=ATVPDKIK">

Buy Automated Technology for Verification and Analysis: 4th... here, one of many Fibre Channel books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > Fibre Channel > Item 702

	Automated Technology for Verification and Analysis: 4th...
	by Susanne Graf and Wenhui Zhang	$95.00 At Amazon on 9-27-2008.

*Features* Cover Type: Paperback with 540 pages Published by: Springer Edition: 1st Edition November 20, 2006 Written in: English ISBN 10 Number: 3540472371 ISBN 13 Number: 978-3540472377 Book Dimensions: 9 x 6.1 x 1.1 inches Weighs: 1.6 pounds *Product Description* This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verificaton and Analysis, ATVA 2006, held in Beijing, China in October 2006. The 35 revised full papers presented together with abstracts of 3 keynote papers were carefully reviewed and selected from 137 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. Back To Top
Automated Technology for Verification and Analysis: 4th... ~~List Price: $95.00~~ Available from Amazon Price: $95.00 Updated on 9-27-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Automated Technology for Verification and Analysis: 4th... and other related Fibre Channel Books here at Rbookshop.com. To view more books about Fibre Channel please use the previous and next buttons near the top of this page.