Your search returned 15 results.

Not what you expected? Check for suggestions
|
Database technology : a software engineering approach / John G. Hughes

by Hughes, John G, 1953-.

Publisher: Hertfordshire, U.K. : Prentice Hall International 9U.K.), c1988Availability: Items available for loan: Taylor's Library-TU [Call number: 005.74 HUG] (1).
An introduction to formal specification and Z / Ben Potter, Jane Sinclair and David Till

by Potter, Ben | Sinclair, Jane [(j.a.)] | Till, David [(j.a.)].

Edition: 2nd ed.Publisher: England ; New York : Prentice Hall, 1996Availability: Items available for loan: Taylor's Library-TU [Call number: 005.12 POT] (4).
Communication and concurrency / Robin Milner

by Milner, R. (Robin), 1934-.

Publisher: New York : Prentice Hall, 1989Availability: Items available for loan: Taylor's Library-TU [Call number: 004.35 MIL] (2).
Communicating sequential processes / C. A. R. Hoare

by Hoare, C. A. R. (Charles Antony Richard), 1934-.

Publisher: Englewood Cliffs, N. J. : Prentice Hall International, 1985Availability: Items available for loan: Taylor's Library-TU [Call number: 005 HOA] (1).
Distributed systems analysis with CCS / Glenn Bruns

by Bruns, Glenn.

Publisher: England ; New York : Prentice Hall, 1997Availability: Items available for loan: Taylor's Library-TU [Call number: 004.25 BRU] (1).
An introduction to logic programming through Prolog / Michael Spivy.

by Spivey, Michael.

Publisher: London : Prentice Hall, 1996Availability: Items available for loan: Taylor's Library-TU [Call number: 005.133 SPI] (1).
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).
An introduction to formal specification and z / Ben Potter, Jane Sinclair, David Till

by Potter, Ben | Sinclair, Jane [(j. a.)] | Till, David [(j. a.)].

Edition: 2nd ed.Publisher: London : Prentice Hall Europe, 1996Availability: Items available for loan: Taylor's Library-TU [Call number: 005.12 POT] (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).