Your search returned 16 results.

Not what you expected? Check for suggestions

Results
		Realtime systems / Nimal Nissanke. by Nissanke, Nimal Series: Prentice Hall international series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Prentice Hall, 1997 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (3)Call number: 004.33 NIS 1997, ... Place hold Add to cart (remove)
		Logic and its applications / / Edmund Burke and Eric Foxley. by Burke, Edmund Foxley, Eric Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : : Prentice Hall, , c1996 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (1)Call number: 511.3 BUR 1996. Place hold Add to cart (remove)
		An introduction to formal specification and Z / / Ben Potter, Jane Sinclair, David Till. by Potter, Ben Sinclair, Jane Till, David Series: Prentice-Hall International series in computer science Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : : Prentice Hall, 1996 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (3)Call number: 005.131 POT 1996, ... Place hold Add to cart (remove)
		Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies. by Woodcock, Jim Davies, Jim, 1964- Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Prentice Hall, 1996 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (3)Call number: 005.131 WOO 1996, ... Place hold Add to cart (remove)
		Semantics of sequential and parallel programs / Eike Best. by Best, Eike, 1951- Series: Prentice Hall international series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, 1996 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (1)Call number: 005.131 BES 1996. Place hold Add to cart (remove)
		Applications of formal methods / / edited by Michael G. Hinchey and Jonathan P. Bowen. by Hinchey, Michael G . (Michael Gerard), , 1969- Bowen, J. P . (Jonathan Peter), , 1956- Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : : Prentice Hall, 1995 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (1)Call number: 005.131 APP 1995. Place hold Add to cart (remove)
		Mathematical logic for computer science by Ben-Ari, M, , 1948- Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : : Prentice Hall, 1993 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (1)Call number: 511.3 BEN 1993. Place hold Add to cart (remove)
		Programming language processors : compilers and interpreters / David A. Watt. by Watt, David A. (David Anthony) Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, c1993 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (1)Call number: 005.45 WAT. Place hold Add to cart (remove)
		Parallel numerical algorithms by Freeman, T. L . (T. Len), , 1950- Phillips, Chris, , 1950- Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : : Prentice Hall, 1992 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (1)Call number: 512.5 FRE 1992. Place hold Add to cart (remove)
		High-level programmer's guide to the 68000 / / Francis G. McCabe. by McCabe, F. G . (Frank G.), , 1953- Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : : Prentice Hall, 1992 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (1)Call number: 005.456 MCC. Place hold Add to cart (remove)
		No cover image available The Z notation : a reference manual / J.M. Spivey ; based on the work of J.R. Abrial ... [et al.]. by Spivey, J. M [Author] Series: Prentice-Hall international series in computer science Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, 1992 Online access: Click here to access online Availability: Not available: FIRST CITY UNIVERSITY COLLEGE: e-book (1). Lists: eBooks_FEC. Add to cart (remove)
		Case studies in systematic software development / edited by Cliff B. Jones and Roger C.F. Shaw. by Jones, C. B. (Cliff B.), 1944- Shaw, Roger C. F Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, 1990 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (1)Call number: 005.1 CAS 1990. Place hold Add to cart (remove)
		Principles of concurrent and distributed programming / / M. Ben-Ari. by Ben-Ari, M, , 1948- Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : : Prentice Hall, 1990 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (3)Call number: 004.35 BEN 1990, ... Place hold Add to cart (remove)
		Introduction to functional programming / Richard Bird, Philip Wadler. by Bird, Richard, 1943- Wadler, Philip, 1956- Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, 1988 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (4)Call number: 005.114 BIR 1988, ... Place hold Add to cart (remove)
		Occam 2 reference manual / INMOS Limited. by INMOS Limited Series: Prentice-Hall international series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, 1988 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (1)Call number: 005.133 INM. Place hold Add to cart (remove)
		Programming in occam 2 / Geraint Jones, Michael Goldsmith. by Jones, Geraint, 1957- Goldsmith, Michael, 1959- Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, 1988 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (1)Call number: 004.35 JON. Place hold Add to cart (remove)

Report a problem