Author: Hayes, Ian
Title: SPECIFICATION CASE STUDIES.
Description: Hertfordshire, Prentice Hall International, 1993. 2nd edition 288 pages. Pb. With contributions by: Bill Flinn, Roger Gimson, Steve King, Carroll Morgan, Ib Holm Sorensen, Bernard Sufrin. Series of case studies in formal specification written in the specification notation Z. Divided into four parts: tutorials, sofware engineering, distrubuted computing and transaction processing the book illustrates how to make use of the Z notation in practice. Name formal owner. Spine slighty suntanned. Otherwise very nice and clean copy.

Keywords: informatica, , ,