Warehouse Stock Clearance Sale

Grab a bargain today!


Logic-Based Program Synthesis and Transformation
By
Rating

Product Description
Product Details

Table of Contents

Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.

Ask a Question About this Product More...
 
Look for similar items by category
Home » Books » Computers » Programming » General
Home » Books » Science » Mathematics » Logic
People also searched for
Item ships from and is sold by Fishpond.com, Inc.

↑
Back to top
We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.