PKK Library

Your cart is empty.

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

Your search returned 11 results. Subscribe to this search

Unhighlight Highlight
|
1.
PROVING PROGRAMMS CORRECT

by Anderson, Robert Brockett.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,184.Publisher: New York John Wiley 1979Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 An24p] (1).

Add to cart
2.
CURRENT TRENDS IN PROGRAMMING METHODOLOGY

by .

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

Place hold Add to cart
3.
CURRENT TRENDS IN PROGRAMMING METHODOLOGY

by .

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

Place hold Add to cart
4.
CURRENT TRENDS IN PROGRAMMING METHODOLOGY

by .

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

Place hold Add to cart
5.
CURRENT TRENDS IN PROGRAMMING METHODOLOGY

by .

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

Place hold Add to cart
6.
Correctness problem in computer science

by Boyer, Robert S. [Ed.] | Moore, J. Strother [Ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 279p.Publisher: London Academic Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C817] (1).

Place hold Add to cart
7.
CURRENT TRENDS IN PROGRAMMING METHODOLOGY

by .

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

Place hold Add to cart
8.
CURRENT TRENDS IN PROGRAMMING METHODOLOGY

by .

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

Place hold Add to cart
9.
ART OF SOFTWARE TESTING

by Myers, Glenford J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,177.Publisher: New York John Wiley 1979Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 M989a] (1).

Add to cart
10.
FACTFINDER 8

by WONG, KENNETH K | JOYCE, MARK A.

Description: ,121.Publisher: Manchester Ncc 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6423 N213f] (1).

Place hold Add to cart
11.
A practical guide to testing wireless smartphone applications : [electronic resource] /

by Harty, Julian.

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xix, 99 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart

Powered by Koha