Your search returned 2 results.

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

by Barwise, Jon | Seligman, Jerry, 1964- [Co- Author.].

Publisher: Cambridge New York ; New York : Cambridge University Press, c1997Availability: 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 / J.M. Spivey.

by Spivey, J. M.

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

Place hold Log in to add tags