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.
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th Internatio
- Item No : 136119956848
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $72.79
-
* Item Description
- I:Selection of Papers Presented at 5thSPIN99. - Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving. - Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
