When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Data Refinement: Model-Oriented Proof Methods and Their Comparison by W. Deroeve
- Item No : 136252356498
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $183.38
-
* Item Description
- Part I. Theory: 1. Relations and recursion; 4. Properties of simulation; 5. Notation and semantics; 6. A Hoare logic; 7. Simulation and Hoare logic; 8. An extension to total correctness; 9. Simulation and total correctness; 10.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
