Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: The Z Notation: A Reference Manual
Автор: Spivey J.M.
Аннотация:
This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.