ZUM'97: The Z Formal Specification Notation
Subtitle: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science)
Contributors: Jonathan P. Bowen (Editor); Michael G. Hinchey (Editor); David Till (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 18, 1997
Language: eng
Format: Paperback
Number of pages: 435
ISBN-13: 9783540627173
Subjects: Programming languages; Software engineering; Z (Programming Language); Computers - Languages / Programming; Computers; Computers - General Information; Programming Languages - BASIC; Computer Books: General; Programming - Software Development; General; Computer Science; Logic; Algebraische Methoden; Computers / Programming / Software Development; Echtzeitsysteme; Formale Spezifikation; Programmverfeinerung; Z notation; Z-Notation; algebraic methods
First sentence: Much has been written in the past decade about the usefulness of formal methods for developing computer systems.