Your search returned 2 results.

Information flow : the logic of distributed systems Barwise, Jon.

Publisher: Cambridge University Press, ; 1997Availability: Items available for loan: Sibalom [Call number: 003.54 B28i 1997] (1).

Place hold Log in to add tags
Understanding Z : a specification language and its formal semantics Spivey, J. M.

Publisher: Cambridge University Press, ; 1988Availability: Items available for loan: Sibalom [Call number: 005.133 S761 1988] (1).

Place hold Log in to add tags