An Introduction to Formal Specification and Z

Potter, Ben; Till, David; Sinclair, Jane

ISBN 10: 0132422077 / ISBN 13: 9780132422079

Published by Prentice Hall Europe, Harlow, 1996

About this Item

xiv + 434 pages, appendices, bibliography, list of symbols, index, (Prentice Hall International Series in Computer Science).

Seller Inventory # 138529

Bibliographic Details

• Title: An Introduction to Formal Specification and Z
• Publisher: Prentice Hall Europe, Harlow
• Publication Date: 1996
• Language: English
• ISBN 10: 0132422077
• ISBN 13: 9780132422079
• Binding: Paperback
• Edition: 2nd Edition.
• Condition: Very Good

About this title

Synopsis

Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.