Logic Based Program Synthesis and Transformation
- Kung-Kiu Lau
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹5,495Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹43.44Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Logic Based Program Synthesis and Transformation is written by Kung-Kiu Lau and published by Springer. It's available with International Standard Book Number or ISBN identification 3540451420 (ISBN 10) and 9783540451426 (ISBN 13).
