Software Specification Methods
Contributors: Henri Habrias (Editor); Marc Frappier (Editor)
Edition: New Ed edition
Publisher: ISTE Publishing Company
Published: April 28, 2006
Language: eng
Format: Hardcover
Number of pages: 384
ISBN-13: 9781905209347
Subjects: Software engineering; Logic Design; Computers; Computers - Languages / Programming; Computer Books: Languages; Specifications; Machine Theory; Programming - Software Development; Computers / Programming / Software Development; Computer software; Formal methods (Computer science)
First sentence: Z (pronounced 'zed') is a formal specification notation [9] based on set theory and first order predicate logic.