Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation: 20th International Symposium
Brand: Springer
SKU: 9783642205507
Price: 5517.00 INR
Availability: InStock

20th International Symposium

by María Alpuente

Springer · 2011

₹5,517

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by Springer in 2011, Logic-Based Program Synthesis and Transformation: 20th International Symposium by María Alpuente is available as a new copy.

Its main subjects are Logic design, Software engineering, Algorithms and Computer science.