The Way of Z
Subtitle: Practical Programming with Formal Methods
Publisher: Cambridge University Press
Published: November 28, 1996
Language: eng
Format: Hardcover
Number of pages: 367
ISBN-13: 9780521550413
Subjects: Mathematical theory of computation; Software engineering; Special purpose languages; Programming Languages - General; Computer Programming Languages; Computers; Computers - Languages / Programming; Reference; Programming - Software Development; Computers / Programming / Software Development; Formal methods (Computer scien; Formal methods (Computer science); Z (Computer program language)
First sentence: Formal methods apply logic and simple mathematics to programming.