Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)

Buy Now

Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Paperback, 2007 ed.) Loot Price: R1,606

Discovery Miles 16 060

Repayment Terms: R151 pm x 12*

Add to cart

Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007...

Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Paperback, 2007 ed.)

Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

Series: Programming and Software Engineering, 4762

(sign in to rate)

Loot Price R1,606 Discovery Miles 16 060 | Repayment Terms: R151 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007.

The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Programming and Software Engineering, 4762
Release date:	October 2007
First published:	2007
Editors:	Kedar Namjoshi • Tomohiro Yoneda • Teruo Higashino • Yoshio Okamura
Dimensions:	235 x 155 x 30mm (L x W x T)
Format:	Paperback
Pages:	570
Edition:	2007 ed.
ISBN-13:	978-3-540-75595-1
Categories:	Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD) Promotions
LSN:	3-540-75595-0
Barcode:	9783540755951