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.
Pepperdine Papers on Linear Temporal Logic by J. Stanley Warford Paperback Book
- Item No : 136236574371
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $27.55
-
* Item Description
- A Calculational Deductive System for Linear Temporal Logic. ACM Comput. This book was written with three goals in mind. And, third, to report on related supporting work that was conducted using the automated theorem proving software, ACL2, to confirm a significant number of the calculational proofs.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
