Formal Semantics and Proof Techniques for Optimizing Vhdl Models

Name: Formal Semantics and Proof Techniques for Optimizing Vhdl Models
Price: 45.26 USD
Availability: InStock
ISBN: 9780792383758

by Umamageswaran, Kothanda, Pandey, Sheetanshu L., Wilsey, Philip A.

Marketplace Prices
New from $45.26
Used from $90.75

Used
$90.75
New
$45.26

List Price

~~$159.00~~

Discount

71% Off

You Save

$113.74

Item Details
Condition: New
Provider: Bookjunction
Provider Rating:

73%
Ships From: STERLING HEIGHTS, MI
Shipping: Standard
Comments: New, US edition. Satisfaction guaranteed!!

List Price

~~$159.00~~

Discount

42% Off

You Save

$68.25

Item Details
Condition: Good
Provider: Bonita
Provider Rating:

0%
Ships From: Multiple Locations
Shipping: Standard
Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.

ISBN-13: 9780792383758
ISBN: 0792383753
Publisher: Springer

AUTHOR

Umamageswaran, Kothanda, Pandey, Sheetanshu L., Wilsey, Philip A.

SUMMARY

Umamageswaran, Kothanda is the author of 'Formal Semantics and Proof Techniques for Optimizing Vhdl Models' with ISBN 9780792383758 and ISBN 0792383753.

[read more]