Z
1990Z (Computer program language)Formal methods (Computer science)Z (langage de programmation)Computer programs
0.0
Open LibraryFirst lines
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.
About this 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.
Themes & subjects
Z (Computer program language)Formal methods (Computer science)Z (langage de programmation)Computer programs
First published 1990Reviews
No reviews yet — be the first to write one from the Log screen.
Quotes
No quotes yet.
