Logic Based Program Synthesis and Transformation(English, Electronic book text, Etalle Sandro)

Logic Based Program Synthesis and Transformation(English, Electronic book text, Etalle Sandro)

  • Etalle Sandro
Publisher:SpringerISBN 13: 9783540316831ISBN 10: 3540316833

Paperback & Hardcover deals ―

Amazon IndiaGOFlipkart ₹ 3237SnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹323Book ChorGOCrosswordGODC BooksGO

e-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(English, Electronic book text, Etalle Sandro) is written by Etalle Sandro and published by Springer Verlag Berlin Heidelberg. It's available with International Standard Book Number or ISBN identification 3540316833 (ISBN 10) and 9783540316831 (ISBN 13).