Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings
Brand: Springer
SKU: 9783540237389
Price: 5605.00 INR
Availability: InStock

5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

by Alan J. Hu, Andrew K. Martin

Springer

₹5,605

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized r- soning to all aspects of computer-aided system design, including speci?cation, veri?cation, synthesis, and testing.

Description supplied by the publisher.