Your search returned 5 results.

Not what you expected? Check for suggestions
|
The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.]

by Spivey, J.M | Abrial, J. R.

Edition: 2nd ed.Publisher: N.Y. : Prentice-Hall International (UK), 1992Availability: Items available for loan: Taylor's Library-TU [Call number: 005.11 SPI] (1).
Programming language concepts and paradigms / David A. Watt ; with contributions by William Findlay, John Hughes

by Watt, David A. (David Anthony).

Publisher: New York : Prentice Hall, 1990Availability: Items available for loan: Taylor's Library-TU [Call number: 005.13 WAT] (3). Items available for reference: Taylor's Library-TU [Call number: 005.13 WAT] (1).