Z: An Introduction to Formal Methods Paperback - 1994
by Antoni Diller
A thorough and comprehensive tutorial introduction to Z. The author uses case studies to vividly illustrate all aspects of Z. With practical exercises and clear descriptions and explanations throughout, this updated edition will be required reading for all students and software engineers learning Z.
First line
Z is a language, but knowing this does not tell you very much about it because there are many different kinds of language, such as natural language and programming language.
From the rear cover
Z An Introduction to Formal Methods Second Edition Antoni Diller University of Birmingham Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tutorial introduction to Z taking as its starting point the practical use of this formal specification language. Case studies are used to illustrate all aspects of Z and are introduced early on in order to motivate the mathematical notations that have to be covered. Standard notation is used throughout. Many proofs are included and they are presented using the commonest format for natural deduction proofs. With exercises given and clear descriptions and explanations provided, this book is required reading for students and post-experience software engineers learning Z. Enhancements to this edition are more exercises, information on how to relate Z specifications to actual program code, and amendments so that the book is in line with the current language standards.
Details
- Title Z: An Introduction to Formal Methods
- Author Antoni Diller
- Binding Paperback
- Edition 2nd
- Pages 400
- Volumes 1
- Language ENG
- Publisher Wiley, West Sussex, England
- Date 1994-07-19
- Features Bibliography
- ISBN 9780471939733 / 0471939730
- Weight 1.4 lbs (0.64 kg)
- Dimensions 9.67 x 6.61 x 0.85 in (24.56 x 16.79 x 2.16 cm)
- Library of Congress subjects Formal methods (Computer science), Z (Computer program language)
- Library of Congress Catalog Number 94004943
- Dewey Decimal Code 005.12
More Copies for Sale
Z 2e: An Introduction to Formal Methods
by Diller, Antoni
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Quantity Available
- 2
- Seller
-
GORING BY SEA, West Sussex, United Kingdom
- Item Price
-
£1.50£8.57 shipping to USA
Show Details
Z : An Introduction to Formal Methods
by Diller, Antoni
- Used
- Condition
- Used - Good
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Quantity Available
- 5
- Seller
-
Dunfermline, Fife, United Kingdom
- Item Price
-
£5.08£8.10 shipping to USA
Show Details
Z : An Introduction to Formal Methods
by Diller, Antoni
- Used
- Condition
- Used - Very Good
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Quantity Available
- 1
- Seller
-
Dunfermline, Fife, United Kingdom
- Item Price
-
£5.08£8.10 shipping to USA
Show Details
Z: An Introduction to Formal Methods
by Diller, Antoni
- New
- Paperback
- Condition
- New
- Edition
- 2nd Edition.
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Quantity Available
- 1
- Seller
-
Highland Park, Illinois, United States
- Item Price
-
£37.24£2.43 shipping to USA
Show Details
Z: An Introduction to Formal Methods
by Antoni Diller
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
£58.04£9.95 shipping to USA
Show Details
Z: An Introduction to Formal Methods
by Diller, Antoni
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
£53.43£4.41 shipping to USA
Show Details
Z: An Introduction to Formal Methods
by Antoni Diller
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
£66.12£9.95 shipping to USA
Show Details
Z � An Introduction to Formal Methods 2e
by Diller, Antoni
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Quantity Available
- 1
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
£74.08£10.00 shipping to USA
Show Details
Z – An Introduction to Formal Methods 2e
by Diller, Antoni
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
£165.48£10.00 shipping to USA
Show Details
Z : An Introduction to Formal Methods
by Antoni Diller
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780471939733 / 0471939730
- Quantity Available
- 3
- Seller
-
Woodside, New York, United States
- Item Price
-
£168.02£3.23 shipping to USA