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