An introduction to formal specification and Z
Potter, Ben1991
Books
Find it!
An introduction to the ideas of formal specification. Its features include discussions of formal methods of program development from specifications, and management issues involved in the adoption of more formal approaches to software development.
Main title:
An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
Imprint:
New York ; London : Prentice Hall, 1991.
Collation:
xiii,304p. : ill. ; 24cm.
Series title:
Notes:
Bibliography: p291-293. _ Includes index.
ISBN:
9780134787022 (pbk)
Dewey class:
001.64
Language:
English
BRN:
255181
More Information: