Formal Description Techniques
- Kenneth J. Turner
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹10,281Book 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 -
Formal Description Techniques is written by Kenneth J. Turner and published by North Holland. It's available with International Standard Book Number or ISBN identification 0444871268 (ISBN 10) and 9780444871268 (ISBN 13).
Software tools - papers. Software tools - demonstrations. Object-oriented design with FDTs. Language issues arising practical use. Theoretical aspects of analysis. Experience in writing formal descriptions. Practical aspects of analysis.
