BookShops.in
Automated Technology for Verification and Analysis (English, Farn Wang)-61% OFF
Sciences, Technology & Medicine

Automated Technology for Verification and Analysis (English, Farn Wang)

By Farn WangSpringer
₹4,536₹11,518Save 61%

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free Delivery — Free shipping on all orders
  • 💵Cash on Delivery — Pay when your order arrives
  • ↩️15-Day Easy Returns — Hassle-free return policy
  • 🔒Cash on Delivery — Pay safely when your order arrives

Check Delivery

Book Details

ISBN-139783540236108
ISBN-103540236104

Product Description

About the Book

It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31- November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology on veri?cation has become the new strength in industry and brought forward various hot research activities in both Europe and USA. In comparison, east…

ISBN: 9783540236108

Frequently Asked Questions

What is the price of Automated Technology for Verification and Analysis?
Automated Technology for Verification and Analysis is available at ₹4,536 on BookShops.in.
Does BookShops.in offer free delivery for Automated Technology for Verification and Analysis?
FREE delivery on all orders for Automated Technology for Verification and Analysis.
Is Cash on Delivery available for Automated Technology for Verification and Analysis?
Yes, Cash on Delivery (COD) is available for Automated Technology for Verification and Analysis on BookShops.in. Pay when your order arrives.
What is the return policy for Automated Technology for Verification and Analysis?
BookShops.in offers a 15-day hassle-free return policy for Automated Technology for Verification and Analysis. Contact us at support@bookshops.in or call +91 81899 68108.
Is Automated Technology for Verification and Analysis authentic?
Automated Technology for Verification and Analysis is listed on BookShops.in after verification of product details including ISBN, title, and availability information.

Related Products

View All
Buy Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer) — BookShops.in-43%

Sciences, Technology & Medicine

Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer)

₹5,311₹9,385
Buy Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine) — BookShops.in-78%

Sciences, Technology & Medicine

Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine)

₹5,209₹23,985
Buy Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew) — BookShops.in

Sciences, Technology & Medicine

Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew)

₹4,788
Buy Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman) — BookShops.in

Sciences, Technology & Medicine

Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman)

₹4,327
Buy Financial Products (English, Bill Dalton) — BookShops.in-74%

Sciences, Technology & Medicine

Financial Products (English, Bill Dalton)

₹5,108₹19,961
Buy Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert) — BookShops.in-62%

Sciences, Technology & Medicine

Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert)

₹5,407₹14,329