Your search returned 15 results.

Results
	1.	Z notation a reference manual. by J. M. Spivey. by Spivey, J.M Series: Prentice Hall international series in computer science Material type: Book Publication details: New York Prentice Hall 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 0011.6424 N8912.
	2.	Communication and concurrency by Robin Milner by Milner, Robin Series: Prentice-Hall International series in computer science ; Material type: Book Publication details: New York Prentice Hall 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.43 N8929.
	3.	Communication and concurrency. by Robin Milner. by Milner, Robin Series: Prentice Hall International Series in Computer Science Material type: Book Publication details: New York Prentice-Hall 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8915.
	4.	Essays in computing science ed. by C. A. R. Hoare and C. B. Jones. by Hoare, C. A. R., ed Jones, C. B., ed Series: Prentice Hall international series in computer science Material type: Book Publication details: New York Prentice-Hall 1989 Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.6 N893.
	5.	Implementation of functional programming languages. by Semon L. Peyton Jones. by Peyton Jones, Semon L Series: Prentice-Hall international series in computer science ; Material type: Book Publication details: Englewood Cliffs Prentice-Hall 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N878.
	6.	Computational category theory by David E. Rydeheard and Rod M. Burstall. by Rydeheard, David E Burstall, Rod M Series: Prentice Hall international series in computer science ; Material type: Book Publication details: New York Prentice Hall 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N8813.
	7.	Specification case studies ed by Ian Hayes by Hayes, Ian., ed Series: Prentice-Hall international series in computer science ; Material type: Book Publication details: Englewood Cliffs Prentice Hall 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.12 N871.
	8.	Implementation of functional programming languages by Simon L. Peyton Jones. by Peyton Jones, Simon L Series: Prentice-Hall international series in computer science Material type: Book Publication details: Englewood Cliffs P-H 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N87.
	9.	Programming language theory and its implementation: applications and imperative paradigms /(by) Michael J.C. Gordon by Gordon, Michael J.C Series: Prentice-Hall International Series in Computer Science Material type: Book Publication details: New York P-H 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1301 N88.
	10.	Microprocessor programming and software development by F.G. Duncan by Duncan, F.G, Series: Prentice-Hall International Series in Computer Science ; Material type: Book Publication details: New Jersey Prentice-Hall 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 DUN.
	11.	Structured system programming by Jim Welsh, Michael McKeag by Welsh, Jim McKeag, Michael Series: Prentice-Hall International series in computer science Material type: Book Publication details: New Jersey Prentice-Hall International 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8020.
	12.	System development by M. A. Jackson by Jackson, M. A Series: Prentice-Hall international series in computer science Material type: Book Publication details: Englewood Cliffs Prentice-Hall International 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 003 N832.
	13.	Real-time systems Specification, Verification and analysis ed. by Mathai Joseph by Joseph, Mathai., ed Series: Prentice Hall International series in computer science Material type: Book Publication details: London P-H 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.33 N961.
	14.	Micro-prolog programming in logic by K. L. Clark, F G McCabe by Clark, K.L McCabe, F.G Series: Prentice-Hall international series in computer science Material type: Book Publication details: Englewood Cliffs Prentice-Hall 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N844.
	15.	Systematic software development using VDM Cliff B. Jones. by Jones, Cliff B Series: Prentice-hall international series in computer science Material type: Book Publication details: Englewood cliffs Prentice Hall 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8635.

Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832

Powered by Koha