Lecture Notes in Computer Science Ser.: Zum '97 - The Z Formal Specification Notation : 10th International Conference of Z Users Reading, UK, April 1997 - Proceedings by Michael G. Hinchey (1997, Trade Paperback)

plsshipfast (11699)

99% positive Feedback

Price:

£58.48

Free postage

Estimated delivery Tue, 26 Aug - Wed, 3 Sep

Returns:

30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

Product Description : This book constitutes the refereed proceedings of the 10th International Conference of Z Users ZUM97 held in Reading UK in April 1997The volume presents 18 revised full papers together with three invited presentations by internationally leading experts The papers are organized into topical sections on realtime systems tools logic system development reactive systems refinement and applications Also a select Z bibliography by Jonathan Bowen is added All in all the book competently reports the stateoftheart in research and advanced applications of the Z notation