|
|
1.
|
USE OF FORMAL SPECIFICATION OF SOFTWARE, JUNE 25-27, 1979, BERLIN
by Berg, H. K | Giloi, W. K. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: iv,388.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Us2] (1).
|
|
|
2.
|
SOFTWARE DEVELOPMENT TOOLS
by Riddle, W. E | Fairley, R. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,280.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 So23d] (1).
|
|
|
3.
|
SOFTWARE ENGINEERING
by Naur, Peter | Buxton, J. N. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 306.Publisher: New York Petrocelli 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 So23] (1).
|
|
|
4.
|
SOFTWARE ENGINEERING
by Freeman, Herbert | Lewis, Philip M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,244.Publisher: New York Academic Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 So23] (1).
|
|
|
5.
|
Applied probability computer science
: the interface
by Disney, Ralph L [ed.] | Ott, Teunis J [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvii, 504p.Publisher: Boston Birkhauser 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Ap55] (1).
|
|
|
6.
|
SOFTWARE DEVELOPMENT TOOLS
by Riddle, William E | Fairly, Richard E | . Description: viii,280.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W892] (1).
|
|
|
7.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: vii,261.Publisher: New York 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
|
8.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: iv,242.Publisher: New York 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
|
9.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: iv,280.Publisher: New York 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
|
10.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: iv,264.Publisher: New York 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
|
11.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: iv,290.Publisher: New York 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
|
12.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: iv,242.Publisher: New York 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
|
13.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: iv,218.Publisher: New York 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
|
14.
|
PRINCIPLES OF PROGRAMMING LANGUAGES Description: 230.Publisher: New York 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 As78p] (1).
|
|
|
15.
|
Software engineering environments
: proceedings...
by Symposium on Software Engineering Environments Lahnstein, Germany June 16-20, 1980 | Hunke, Horst, ed. Description: viii,410p.Publisher: Amsterdam North-Holland 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Sy68s] (1).
|
|
|
16.
|
Software engineering
: proceedings ...
by 7th International Conference on Software Engineering Florida 1984. Description: xiv, 545p.Publisher: New York Institute Of Electrical And Electronics Engineering 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 In8s] (1).
|
|
|
17.
|
PROGRAM TRANSFORMATION AND PROGRAMMING ENVIRONMENTS
by Pepper, Peter | . Description: xiv,378.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 N214p] (1).
|
|
|
18.
|
Natural language understanding and logic programming
: proceedings ...
by International Workshop on Natural Language Understanding and Logic Programming Rennes, France 1984 | Dahl,Veronica [ed.] | Saint - Dizier, Patrick [ed.]. Description: xi, 243p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8n] (1).
|
|
|
19.
|
Control Flow and Data Flow
: concepts of distributed programming
by Broy, Manfred [ed.]. Description: viii, 525p.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.644 N214c] (1).
|
|
|
20.
|
Formal models in programming
: proceedings...
by IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing Vienna, Austria 1985 | Neuhold, E. J. [ed.] | Chroust, G. [ed.]. Description: xix, 425p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 In8f] (1).
|
