Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations) - Softcover
Synopsis
Based on material used by the authors in their teaching, this volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques, thus allowing professionals to write programs that are easier to reason about informally. The basic technology presented should be of use in all programming environments.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Software Specification: A Comparison of Formal Methods...
Seller Image
Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # wbs8866305090