|
|
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).
|