Z

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.

המשפט הראשון: 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.

שנה

1990

שפה

English

הוצאה

Wiley

מהדורות

1

עמודים

394

ISBN

9780471939733

מקור הנתונים: Wikidata