|
1.
|
Functional programming
: application and implementation
by Henderson, Peter. Material type: 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).
|
|
2.
|
Formal specification and software development
by Bjørner, Dines | B, Cliff. Material type: 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).
|
|
3.
|
Communicating sequential processes
by Hoare, C. A. R. Material type: 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).
|
|
4.
|
UCSD PASCAL FOR THE IBM PC
by Maccallum, Iain. Material type: 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).
|
|
5.
|
SOFTWARE DEVELOPMENT
by Jones, Clifford B. Material type: 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).
|
|
6.
|
STRUCTURED SYSTEM PROGRAMMING
by Welsh, Jim | Mckeag, Michael. Material type: 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).
|
|
7.
|
A model implementation of standard Pascal
by Welsh, Jim | Hay, Atholl. Material type: 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).
|
|
8.
|
Program construction and verification
by Backhouse, Roland C. Material type: 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).
|
|
9.
|
Program construction and verification
by Backhouse, Roland C. Material type: 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).
|
|
10.
|
PRINCIPLES OF PROGRAMMING LANGUAGES
by Tennent, R. D. Material type: 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).
|
|
11.
|
PROGRAMMING LANGUAGE CONCEPTS AND PARADIGMS
by Watt, David A. Material type: 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).
|
|
12.
|
PROGRAMMING LANGUAGE THEORY AND ITS IMPLEMENTATION
by Gordon, Michael J. C. Material type: 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).
|
|
13.
|
Distributed systems and computer networks
by Sloman, Morris | Kramer, Jeff. Material type: 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).
|
|
14.
|
LOGIC AND OBJECTS
by Mccabe,Francis G. Material type: 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).
|
|
15.
|
INTRODUCTION TO PROGRAMMING IN PROLOG
by Crookes, Danny. Material type: 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).
|
|
16.
|
Implementation of functional programming languages
by Jones, Simon L. Peyton. Material type: 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).
|
|
17.
|
COMMUNICATION AND CONCURRENCY
by Milner, Robin. Material type: Book Description: ix,260.Publisher: New York Prentice-Hall c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 M636c] (1).
|