Add this copy of Trace Theory for Automatic Hierarchical Verification of to cart. $24.95, like new condition, Sold by Michellebookseller rated 5.0 out of 5 stars, ships from Windham, ME, UNITED STATES, published 2003 by Mit Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Unused paperback! Pages are clean and unmarked. Spine is uncreased. Publisher mark on bottom and top edge. Securely packed. Trade paperback (US). Glued binding. 163 p. Contains: Figures. ACM Distinguished Dissertations. Audience: General/trade.
Add this copy of Trace Theory for Automatic Hierarchical Verification of to cart. $60.68, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2003 by MIT Press.
