Potter, Ben
An introduction to formal specification and Z/
Ben Potter, Jane SInclair, David Till.
- New York: Prentice Hall, 1991.
- xiii,304p.
(Prentice Hall international series in computer).
Bibliography p.291-293.
0-13-478702-1(pbk)
Computer software- development
QA76.76 D47 P68