Deductive verification of object-oriented software(English, Paperback, Weiss Benjamin)
- Weiss Benjamin
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart ₹ 3353SnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹1,161Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible 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 -
Deductive verification of object-oriented software(English, Paperback, Weiss Benjamin) is written by Weiss Benjamin and published by Karlsruher Institut Fur Technologie. It's available with International Standard Book Number or ISBN identification 3866446233 (ISBN 10) and 9783866446236 (ISBN 13).
