Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)

Zelkowitz, Martin

ISBN 10: 156750034X / ISBN 13: 9781567500349

Published by Intellect, 1995

About this Item

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

Bibliographic Details

• Title: Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)
• Publisher: Intellect
• Publication Date: 1995
• Language: English
• ISBN 10: 156750034X
• ISBN 13: 9781567500349
• Binding: Soft cover
• Condition: Very Good
• Weight: 358.3 grams

About this title

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.