Normal view MARC view ISBD view

Lightfoot, David (Senior Lecturer, School of Computing and Mathematical Sciences, Oxford Brookes University, Oxford)

Formal Specification Using Z - Reissued 2nd ed - London/Basingstoke Palgrave Macmillan 1998 - 176 p. paperback.

BookData Record

ISBN: 0333763270

Subjects--Topical Terms:
Z (Computer program language)
Computer software
Development