PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 17 results. Subscribe to this search

Unhighlight Highlight
|
1.
Functional programming : application and implementation

by Henderson, Peter.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 355p.Publisher: Englewood Cliffs, N.ew Jersey Prentice-Hall International 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H383f] (1).

Place hold Add to cart
2.
Formal specification and software development

by Bjørner, Dines | B, Cliff.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,501p.Publisher: London Prentice-Hall International 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B557f] (1).

Place hold Add to cart
3.
Communicating sequential processes

by Hoare, C. A. R.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii, 256p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H651c] (1).

Place hold Add to cart
4.
UCSD PASCAL FOR THE IBM PC

by Maccallum, Iain.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxix,578.Publisher: Englewood Cliffs, N. J. Prentice-Hall Internet. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M124u] (1).

Place hold Add to cart
5.
SOFTWARE DEVELOPMENT

by Jones, Clifford B.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv, 382p.Publisher: Englewood Cliffs, N. J. Prentice-Hall International 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 J712s] (1).

Place hold Add to cart
6.
STRUCTURED SYSTEM PROGRAMMING

by Welsh, Jim | Mckeag, Michael.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,324.Publisher: Englewood Cliffs Prentice-Hall 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W465s] (1).

Place hold Add to cart
7.
A model implementation of standard Pascal

by Welsh, Jim | Hay, Atholl.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 463p.Publisher: Englewood Cliffs Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W465m] (1).

Place hold Add to cart
8.
Program construction and verification

by Backhouse, Roland C.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).

Place hold Add to cart
9.
Program construction and verification

by Backhouse, Roland C.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).

Place hold Add to cart
10.
PRINCIPLES OF PROGRAMMING LANGUAGES

by Tennent, R. D.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,271.Publisher: Englewood Cliffs Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 T256p] (1).

Place hold Add to cart
11.
PROGRAMMING LANGUAGE CONCEPTS AND PARADIGMS

by Watt, David A.

Material type: book Book Description: xvi,322.Publisher: New York Prentice Hall c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W34p] (1).

Place hold Add to cart
12.
PROGRAMMING LANGUAGE THEORY AND ITS IMPLEMENTATION

by Gordon, Michael J. C.

Material type: book Book Description: xiv,255.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G657p] (1).

Place hold Add to cart
13.
Distributed systems and computer networks

by Sloman, Morris | Kramer, Jeff.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,336p.Publisher: Englewood Cliff Prentice-Hall 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Sl54d] (1).

Place hold Add to cart
14.
LOGIC AND OBJECTS

by Mccabe,Francis G.

Material type: book Book Description: xxii,289.Publisher: Prentice-Hall, New York c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 M123L] (1).

Place hold Add to cart
15.
INTRODUCTION TO PROGRAMMING IN PROLOG

by Crookes, Danny.

Material type: book Book Description: xii,226.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 C882i] (1).

Place hold Add to cart
16.
Implementation of functional programming languages

by Jones, Simon L. Peyton.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 445p.Publisher: London Prentice-Hall International Pub. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 J69i] (1).

Place hold Add to cart
17.
COMMUNICATION AND CONCURRENCY

by Milner, Robin.

Material type: book Book Description: ix,260.Publisher: New York Prentice-Hall c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 M636c] (1).

Place hold Add to cart

Powered by Koha