Home ›› Books And Media ›› Books By Categories ›› History ›› Formal Methods In Computer-Aided Design: Second Internatio..
Last updated on: 19th Mar 2026

Formal Methods In Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alt.. Price in Indiaby - Ganesh Gopalakrishnan, Phillip Windley

Lowest Price:

₹4,776.00

Buy from store: sapnaonline
Compare prices from 3 sellers
Book details      Reviews

Not ready to buy yet ?

Formal Methods In Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alt.. price in India from 3 stores in India from ₹4,776.00

Store Name Additional Info Price in India  

Formal Methods In Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alt..
₹4,776.00
Visit Store

Formal Methods in Computer-Aided Design  (English, Paperback, unknown)
₹13,718.00
Visit Store

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alt..
Check Price
Visit Store

Formal Methods In Computer-Aided Design: Second Internat.. Book details

Isbn-13 9783540651918
Ean 9783540651918
Publisher Date 25 Nov 1998
Dewey 621.392
Language English
No Of Pages 548
Series Title English
Weight 758 gr
Isbn-10 3540651918
Publisher Springer
Binding Paperback
Height 230 mm
Lccn 98046729
Printondemand Y
Spine Width 28 mm
Width 154 mm
Editor Gopalakrishnan, Ganesh
Productgroup Book
Edition 1998 ed.
Publicationdate 1998-10-21T00:00:01Z
Length 6.1 Inches
Author Ganesh Gopalakrishnan,Phillip Windley
Cover : Paperback
Isbn 13 : 9783540651918
Dimension : 3540651918
Book Formal Methods In Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Pro
See a problem with these offers? Let us know.

Formal Methods In Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alt.. price in India summary

  • We have aggregated Formal Methods In Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Pro by Fmcad '98,Ganesh Gopalakrishnan,Phillip J. Windley price and coupon offers available across all online stores in India.
  • Formal Methods In Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Pro by Fmcad '98,Ganesh Gopalakrishnan,Phillip J. Windley lowest price in India as on Thu, 19 Mar 2026 is ₹4,776.00 offered by Sapnaonline.

Formal Methods In Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alt.. details from uread

About the Book
This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998.
The 27 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. Also included are four tools papers and four invited contributions. The papers present the state of the art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software. From the methodological point of view, binary decision diagrams, model checking, symbolic reasoning, symbolic simulation, and abstraction methods are covered.

Goodreads reviews

Formal Methods In Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Pro by Fmcad '98,Ganesh Gopalakrishnan,Phillip J. Windley price in India is ₹4,776.00 on 19th Mar 2026

Disclaimer: Scandid is a search engine that crawls every online store in India to find every product that is sold online. We currently show products in Books, Computers, Electronics, Appliances and Personal Care categories. Although we make every effort to present accurate product and store information, including prices and stock availability, Scandid cannot guarantee and is not responsible for inaccuracies or omissions. Please give us feedback on these results!
Two simple ways of getting this coupon.
We will never spam you. You can always change your alert settings on My Alerts page.
Rate your shopping experience with
Currently rated of 5 by Scandid users.

Provide your rating*

Overall Experience
Ontime Delivery
Product Authenticity
Issue Resolving

Would you buy from this store again? *

Yes No

Would you like to tell us more about this store?

Captcha *

Submit Review
Close Your rating sent successfully, Thank you!
Formal Methods In Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Pro by Fmcad '98,Ganesh Gopalakrishnan,Phillip J. Windley

Available Coupons from

See all coupons from
Please login to get more offers.
×

Welcome

Verify your Number

×

Enter the OTP

Enter the OTP below to continue


Resent
×

Great, let’s setup things for you!

Some basic details so we can send you flash deals, so you find them before anyone.

×

Great, let’s setup things for you!

Some basic details so we can send you flash deals, so you find them before anyone.

Never over pay again! Get the extension and start saving
Install Extension
Introducing Scandid
Your shopping companion, on the go!
  • Scan barcodes or search products by name
  • Instantly find best prices and coupons from all stores
  • It's easy to use, it's fast and it's FREE
  • Shop like a pro, on the go!
Continue to Scandid on the web