Your search returned 17 results.

Results
		No cover image available Functional programming : application and implementationby Henderson, Peter Series: Prentice-Hall International Series In Computer Science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, N.ew Jersey Prentice-Hall International 1980 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.642 H383f. Place hold Add to cart (remove)
		No cover image available Formal specification and software development by Bjørner, Dines B, Cliff Series: Prentice-Hall international series in computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London Prentice-Hall International 1982 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.642 B557f. Place hold Add to cart (remove)
		No cover image available Communicating sequential processes by Hoare, C. A. R Series: Prentice-Hall International Series In Computer Science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, New Jersey Prentice-Hall 1985 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.642 H651c. Place hold Add to cart (remove)
		No cover image available UCSD PASCAL FOR THE IBM PC by Maccallum, Iain Series: Prentice-Hall International Series In Computer Science ; Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, N. J. Prentice-Hall Internet. 1986 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.642 M124u. Place hold Add to cart (remove)
		No cover image available SOFTWARE DEVELOPMENT by Jones, Clifford B Series: Prentice-Hall International Series In Computer Science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, N. J. Prentice-Hall International 1980 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.642 J712s. Place hold Add to cart (remove)
		No cover image available STRUCTURED SYSTEM PROGRAMMING by Welsh, Jim Mckeag, Michael Series: Prentice-Hall International Series In Computer Science ; Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs Prentice-Hall 1980 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.642 W465s. Place hold Add to cart (remove)
		A model implementation of standard Pascal by Welsh, Jim Hay, Atholl Series: Prentice-Hall International Series In Computer Science / Edited By C.A.R. Hoare ; Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs Prentice-Hall International 1986 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.6424 W465m. Place hold Add to cart (remove)
		No cover image available Program construction and verification by Backhouse, Roland C Series: Prentice-Hall International Series In Computer Science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, New Jersey Prentice-Hall International 1986 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.642 B127p. Place hold Add to cart (remove)
		No cover image available Program construction and verification by Backhouse, Roland C Series: Prentice-Hall International Series In Computer Science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, New Jersey Prentice-Hall 1986 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.642 B127p. Place hold Add to cart (remove)
		No cover image available PRINCIPLES OF PROGRAMMING LANGUAGES by Tennent, R. D Series: Prentice-Hall International Series In Computer Science ; Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs Prentice-Hall 1981 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.6424 T256p. Place hold Add to cart (remove)
		PROGRAMMING LANGUAGE CONCEPTS AND PARADIGMS by Watt, David A Series: Prentice Hall International Series In Computer Science ; Material type: Text Publication details: New York Prentice Hall c1990 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.6424 W34p. Place hold Add to cart (remove)
		PROGRAMMING LANGUAGE THEORY AND ITS IMPLEMENTATION by Gordon, Michael J. C Series: Prentice Hall International Series In Computer Science ; Material type: Text Publication details: New York Prentice Hall c1988 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.6424 G657p. Place hold Add to cart (remove)
		Distributed systems and computer networks by Sloman, Morris Kramer, Jeff Series: Prentice-Hall International Series In Computer Science / Edited By C.A.R. Hoare ; Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliff Prentice-Hall 1987 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.64 Sl54d. Place hold Add to cart (remove)
		LOGIC AND OBJECTS by Mccabe,Francis G Series: Prentice Hall International Series In Computer Science ; Material type: Text Publication details: Prentice-Hall, New York c1992 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 005.1 M123L. Place hold Add to cart (remove)
		INTRODUCTION TO PROGRAMMING IN PROLOG by Crookes, Danny Series: Prentice Hall International Series In Computer Science ; Material type: Text Publication details: New York Prentice Hall c1988 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.6424 C882i. Place hold Add to cart (remove)
		No cover image available Implementation of functional programming languages by Jones, Simon L. Peyton Series: Prentice-Hall International Series In Computer Science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London Prentice-Hall International Pub. 1987 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 001.6424 J69i. Place hold Add to cart (remove)
		Communication and concurrency by Milner, Robin Series: Prentice-Hall International Series In Computer Science Material type: Text Language: English Publication details: New York Prentice-Hall c1989 Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1)Call number: 003 M636c. Place hold Add to cart (remove)