Buy Now, In-Store Pick Up Only

  • Front cover_Formal Semantics And Proof Techniques For Optimizing Vhdl Models
Free Preview of Formal Semantics And Proof Techniques For Optimizing Vhdl Models

Formal Semantics And Proof Techniques For Optimizing Vhdl Models

Kothanda Umamageswaran , Sheetanshu L Pandey , Philip A Wilsey
Nov 30, 1998
$142.95
Online pricing. Prices and offers may vary in store.
.
.    Learn More
This product requires a minimum order of  1
Final Sale. No returns or exchanges.
This item will be shipped by appointment through our delivery partner.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Earn 715 points and enjoy extra savings with plum+. 

Overview

Appropriate for
Language
English
No. of Pages
158
Publisher: Springer US
Shipping dimensions: 9" H x 6" W x 1" L
ISBN: 9780792383758
Life stage: null

You May Also Like

Ratings & Reviews

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 5ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Editorial reviews

Author

Others Also Bought

Formal Semantics and Proof Techniques for Optimizing VHDL Models 6E7BA45A-B75B-434D-A783-CA3E25C6DA35
Formal Semantics and Proof Techniques for Optimizing VHDL Models
https://dynamic.indigoimages.ca/v1/books/books/146137331X/1.jpg
160.95
Formal Semantics And Proof Techniques For Optimizing Vhdl Models
https://dynamic.indigoimages.ca/v1/books/books/0792383753/1.jpg
142.95