![[Book Cover]](../covergif/ph_bkcvr.gif)
|
Introduction to Formal Specification and Z, 2/e
Ben Potter, Hertfordshire University
Jane Sinclair, Open University
David Till, City University, London
Published July, 1996 by Prentice Hall PTR (ECS Professional)
Copyright 1997, 304 pp.
Paper
ISBN 0-13-242207-7
|
Sign up for future mailings on this subject.
See other books about:
Software Engineering--Advanced-Computer Science
|
Introductory level text. Following the success of the first edition, the
authors have updated and revised this bestselling textbook to take into account
the changes in the subject over the past 5 years. The opening chapters have
been rewritten to reflect the needs of students who may require a gentle
introduction to the world of software engineering.
|