Adapting Proofs-as-Programs(English, Electronic book text, Poernomo Iman Hafiz)
- Poernomo Iman Hafiz
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart ₹ 3376SnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹1,887Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹127.2Audible 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 -
Adapting Proofs-as-Programs(English, Electronic book text, Poernomo Iman Hafiz) is written by Poernomo Iman Hafiz and published by Springer-Verlag New York Inc.. It's available with International Standard Book Number or ISBN identification 0387281835 (ISBN 10) and 9780387281834 (ISBN 13).
