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.
Specifying Systems: The TLA+ Language and Tools for Hardware and Software
- Item No : 376284782732
- Condition : Brand New
- Brand : No brand Info
- Seller : loveourprices2
- Current Bid : US $36.58
-
* Item Description
- The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioral properties of a system--what that system is allowed to do.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
