DA-IICT Logo

Resource Centre

Formal specification using Z.

Lightfoot, David

Formal specification using Z. - 2nd ed. - Basingstoke: Palgrave, 2001 - xii,164p; : 25 cm. - Grassroots series .

9780333763278 (pbk)


Computer software -- Development
Formal methods (Computer science)
Z (Computer program language)

005.133 / LIG