196975
9780132422079
Following the sucess 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.Potter, Ben is the author of 'Introduction to Formal Specification and Z', published 1996 under ISBN 9780132422079 and ISBN 0132422077.
[read more]