Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
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 - 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Paperback, 2006 ed.) Loot Price: R1,793
Discovery Miles 17 930
Repayment Terms: R168 pm x 12*
Add to cart
Automated Technology for Verification and Analysis - 4th International Symposium, ATVA 2006, Beijing, China, October 23-26,...

Automated Technology for Verification and Analysis - 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Paperback, 2006 ed.)

Susanne Graf, Wenhui Zhang

Series: Lecture Notes in Computer Science, 4218

 (sign in to rate)
Loot Price R1,793 Discovery Miles 17 930 | Repayment Terms: R168 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.

The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 4218
Release date: October 2006
First published: 2006
Editors: Susanne Graf • Wenhui Zhang
Dimensions: 235 x 155 x 28mm (L x W x T)
Format: Paperback
Pages: 546
Edition: 2006 ed.
ISBN-13: 978-3-540-47237-7
Categories: Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)
Promotions
LSN: 3-540-47237-1
Barcode: 9783540472377

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Discovering AutoCAD 2017 (Paperback): Mark Dix, Paul Riley
Discovering AutoCAD 2017
Mark Dix, Paul Riley Paperback R2,399 Discovery Miles 23 990
FreeCAD 0.20 Black Book (Hardcover, 3rd ed.): Gaurav Verma, Matt Weber
FreeCAD 0.20 Black Book
Gaurav Verma, Matt Weber Hardcover R2,389 Discovery Miles 23 890
ETABS V20 Black Book (Hardcover, 4th ed.): Gaurav Verma
ETABS V20 Black Book
Gaurav Verma Hardcover R1,968 Discovery Miles 19 680
Autodesk CFD 2023 Black Book (Hardcover, 3rd ed.): Gaurav Verma, Matt Weber
Autodesk CFD 2023 Black Book
Gaurav Verma, Matt Weber Hardcover R1,961 Discovery Miles 19 610
Mastercam 2023 for SolidWorks Black Book (Colored) (Hardcover, 4th ed.): Gaurav Verma, Matt Weber
Mastercam 2023 for SolidWorks Black Book…
Gaurav Verma, Matt Weber Hardcover R2,546 Discovery Miles 25 460
Recent Trends in Computer-aided Diagnostic Systems for Skin Diseases - Theory, Implementation, and Analysis (Paperback):...
Recent Trends in Computer-aided…
Saptarshi Chatterjee, Debangshu Dey, … Paperback R2,656 Discovery Miles 26 560
Computer-Aided Design of Fluid Mixing Equipment - A Guide and Tool for Practicing Engineers (Paperback): W.Roy Penney
Computer-Aided Design of Fluid Mixing…
W.Roy Penney Paperback R3,948 Discovery Miles 39 480
Creo Parametric 9.0 Black Book (Colored) (Hardcover, 6th ed.): Gaurav Verma, Matt Weber
Creo Parametric 9.0 Black Book (Colored)
Gaurav Verma, Matt Weber Hardcover R2,365 Discovery Miles 23 650
Mem-elements for Neuromorphic Circuits with Artificial Intelligence Applications (Paperback): Christos Volos, Viet-Thanh Pham
Mem-elements for Neuromorphic Circuits…
Christos Volos, Viet-Thanh Pham Paperback R3,743 Discovery Miles 37 430
Autodesk Revit 2023 Black Book (Colored) (Hardcover): Gaurav Verma, Matt Weber
Autodesk Revit 2023 Black Book (Colored)
Gaurav Verma, Matt Weber Hardcover R2,093 Discovery Miles 20 930
SolidWorks Workbook 2022 (Colored) (Hardcover): Gaurav Verma, Matt Weber
SolidWorks Workbook 2022 (Colored)
Gaurav Verma, Matt Weber Hardcover R1,145 Discovery Miles 11 450
Digital Control Engineering - Analysis and Design (Paperback, 3rd edition): M. Sami Fadali, Antonio Visioli
Digital Control Engineering - Analysis…
M. Sami Fadali, Antonio Visioli Paperback R2,801 Discovery Miles 28 010

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners