booktheque

Z

Antoni Diller · 1990

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

About the book

This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text to illustrate all aspects of Z. This edition includes new information on how to relate Z specifications to actual program codes.

First sentence: 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.

Book details

Year
1990
Language
English
Publisher
Wiley
Editions
1
Pages
394
ISBN
9780471939733

Data source: Wikidata

More by Antoni Diller