The way of Z : practical programming with formal methods

By: Jacky, JonathanPublication details: Cambridge : Cambridge University Press 1996Description: xviii, 350 p. : illISBN: 0521550416; 0521559766Subject(s): Z (COMPUTER PROGRAM LANGUAGE) | FORMAL METHODS (COMPUTER SCIENCE)LOC classification: QA 76.73.Z2 JacOnline resources: Click here for electornic version
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Materials specified Copy number Status Date due Barcode
MONOGRAPH MONOGRAPH CBU-MAIN LIBRARY, KITWE.
QA 76.73.Z2 Jac (Browse shelf(Opens below)) 1 Available 021015
MONOGRAPH MONOGRAPH CBU-MAIN LIBRARY, KITWE.
QA 76.73.Z2 Jac (Browse shelf(Opens below)) 2 Available 021016

Includes bibliographical references 

There are no comments on this title.

to post a comment.