Introduction Formal Specification And Z
2nd Edition
Published on 21. June 1996
Book
Paperback/Softback
448 pages
978-0-13-242207-9 (ISBN)
Description
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.
More details
Edition
2nd edition
Language
English
Place of publication
Upper Saddle River
United States
Publishing group
Pearson Education (US)
Target group
Professional and scholarly
Dimensions
Height: 235 mm
Width: 176 mm
Thickness: 20 mm
Weight
770 gr
ISBN-13
978-0-13-242207-9 (9780132422079)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Previous edition
Ben Potter | etc. | Jane Sinclair
An Introduction to Formal Specification and Z
Book
04/1991
Prentice-Hall
€27.18
Article exhausted; check for reprint
Content
Introduction.
Formal Specification within Software Engineering.
An informal introduction to Logic and Set Theory.
The Z Notation: Mathematical Language.
The Z Notation: Relations and Functions.
The Z Notation:Schemas and Specification Structure.
A First Specification.Formal Reasoning.
From Specification to Program.
From Theory to Practice.
Appendices.
Bibliography.
Index.
Formal Specification within Software Engineering.
An informal introduction to Logic and Set Theory.
The Z Notation: Mathematical Language.
The Z Notation: Relations and Functions.
The Z Notation:Schemas and Specification Structure.
A First Specification.Formal Reasoning.
From Specification to Program.
From Theory to Practice.
Appendices.
Bibliography.
Index.