|
1.
|
PROVING PROGRAMMS CORRECT
by Anderson, Robert Brockett. Material type: 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).
|
|
2.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: 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).
|
|
3.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: 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).
|
|
4.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: 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).
|
|
5.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: 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).
|
|
6.
|
Correctness problem in computer science
by Boyer, Robert S. [Ed.] | Moore, J. Strother [Ed.]. Material type: 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).
|
|
7.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: 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).
|
|
8.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: 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).
|
|
9.
|
ART OF SOFTWARE TESTING
by Myers, Glenford J. Material type: 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).
|
|
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).
|
|
11.
|
A practical guide to testing wireless smartphone applications
: [electronic resource] /
by Harty, Julian. Material type: Book; Format:
available online
; 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).
|