Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)
Product Description
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)
Technical Specifications
You might also like
Custom We Love Grandma Photo T-Shirt - Personalize with Photos for Mother's Day
EP 25 ft Lighted Outdoor Extension Cord - 12/3 SJTW Heavy Duty Yellow Extension Cable with 3 Prong Grounded Plug - 15AMP Power Cord for Lawn, Garden, Appliances
Gutless: A YA Football Story About Finding Courage in a Test of Character on the Varsity Team
Bath Tub Mat Non Slip Anti Mold for Kids BPA Free INCL Hooks - homerella® Ocean Sea Animals 40x16, Baby Bath Mat Non Slip 200 Suction Cups, Non Toxic Machine Washable Toddler Bath Mat, EU Certified
Sushret Cloud Wrist Rest Keyboard, Cloud Keyboard Wrist Pad Set with PU Leather Memory Foam, Cute Arm Rest for Palm Support, PC/Gaming Desk Accessories/Office Setup/Computer Hand Cushion - Rainbow
Mellbree Skeleton Key Set, 26-Key Universal Replacement Skeleton Keys Kit for Antique Dresser, Chinese Cabinet, Antique Furniture and Old Style Cabinets or Doors, Collectible Gift
GBYAN Pendant Necklace Box with LED Light, Necklace Gift Box Velvet Jewelry Display Case for Proposal Engagement Wedding and Birthday,Black
The Gifted Stationery 2026 Square Wall Calendar - 16-Month Calendar 2026 with US & Intl Holidays - 2026 Planner with 180 Reminder Stickers - Fold-Out Hanging Design - 12 x 12 in