Loading...

Z: An Introduction to Formal Methods, 2nd Edition

ISBN: 978-0-471-93973-3

May 1994

400 pages

Description
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
About the Author

Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.