Your search returned 5 results.

Results
	1.	An introduction to formal specification and z [Text] Patter, Ben by Potter, Ben Sinclair, Jane Till, David Series: Prentice Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Prentice Hall 1991 Availability: Items available for loan: Main Library (1)Call number: 005.12 POT. Place hold Add to cart (remove)
	2.	Learning to program. [Text] Johnston, Howard by Johnston, Howard Series: Prentice-Hall International series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Englewoodcliffs Prentice Hall 1985 Availability: Items available for loan: Main Library (1)Call number: 001.642 JOH. Add to cart (remove)
	3.	Object oriented software construction [Text] Meyer, Bertrand by Meyer, Bertrand Series: Prentice Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Prentice Hall 1988 Availability: Items available for loan: Main Library (1)Call number: 005.117 MEY. Place hold Add to cart (remove)
	4.	Principles of concurrent and distributed programming [Text] Ben-Ari, M. by Ben-Ari, M Series: Prentice Hall international series in computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Prentice Hall 1990 Availability: Items available for loan: Main Library (2)Call number: 004.36 BEN, ... Place hold Add to cart (remove)
	5.	Specification case studies [Text] Specification case studies by Hayes, Ian [et. al.] Series: Prentice Hall International Series in Computer Science Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Prentice Hall 1993 Availability: Items available for loan: Main Library (1)Call number: 005.12 SPE. Place hold Add to cart (remove)

Copyright © Library, University of Sri Jayewardenepura Designed by: Library IT Division