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.
Proceedings of an ACM Conference…Proving Assertions about Programs SIGPLAN V7 #1
- Item No : 404119210995
- Condition : Good
- Brand : No brand Info
- Seller : katesqc
- Current Bid : US $5.00
-
* Item Description
- The summary for this publication relates to the then-current issues and problems of proving that a program (written in whatever computer language) correctly does what is intended to do. Next isSIGACT :SIGACT is an international organization that fosters and promotes the discovery and dissemination of high quality research in theoretical computer science (TCS), the formal analysis of efficient computation and computational processes.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
-
- NO GRID Survival Projects
- $ 37.00
