Z
Subtitle: An Introduction to Formal Methods, 2nd Edition
Edition: 2 Sub edition
Publisher: Wiley
Published: June 16, 1994
Language: eng
Format: Paperback
Number of pages: 394
ISBN-13: 9780471939733
Subjects: High level programming languages; Z (Computer program language); Z (Programming Language); Computers - Languages / Programming; Computer Books: Languages; Programming - Software Development; Programming Languages - General; Computers / Programming / General; Formal methods (Computer scien; Formal methods (Computer science)
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.