Computers & Internet
Formal Methods in Computer-Aided Design (English, Alan J. Hu | Andrew K. Martin)
₹5,605
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
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
Product Description
About the Book
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. FMCAD's heritagedates back20 year…
ISBN: 9783540237389
Book Specifications
| ISBN-13 | 9783540237389 |
| ISBN-10 | 3540237380 |
| Publisher | Springer |
| Category | Computers & Internet |
Frequently Asked Questions
What is the price of Formal Methods in Computer-Aided Design?
Formal Methods in Computer-Aided Design is available at ₹5,605 on BookShops.in.
Does BookShops.in offer free delivery for Formal Methods in Computer-Aided Design?
FREE delivery on all orders for Formal Methods in Computer-Aided Design.
Is Cash on Delivery available for Formal Methods in Computer-Aided Design?
Yes, Cash on Delivery (COD) is available for Formal Methods in Computer-Aided Design on BookShops.in. Pay when your order arrives.
What is the return policy for Formal Methods in Computer-Aided Design?
BookShops.in offers a 15-day hassle-free return policy for Formal Methods in Computer-Aided Design. Contact us at [email protected] or call +91 81899 68108.
Is Formal Methods in Computer-Aided Design authentic?
Formal Methods in Computer-Aided Design is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
Algorithmische Sprache Und Programmentwicklung | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer
₹3,143
Programming
Distributed Algorithms | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean
₹5,539
Programming
Meta-Level Control for Deductive Database Systems | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schm
₹5,458
Programming
Java Web Services | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'
₹3,680
Programming
Database in Depth | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J.
₹3,158
Programming
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson |
₹5,602
Related Products
View All
Computers & Internet
Modern Full-Stack React Projects by Daniel Bugl
₹2,311
Computers & Internet
Mootools 1.2 Beginner's Guide (English, Jacob Gube)
₹2,085
Computers & Internet
Contemporary Methods for Speech Parameterization (Springerbriefs in Electrical and Computer Engineering / Springerbriefs in Speech Technology)
₹4,187
Computers & Internet
Information Technology and Lawyers | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lo
₹4,985
Computers & Internet
Digital Analysis of Remotely Sensed Imagery | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao
₹5,336
Computers & Internet
Computer-Aided Drug Design and Delivery Systems | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Compan
₹4,180