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

Your search returned 4 results. Subscribe to this search

|
1. FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES

by Pagan, Frank G.

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

2. Algebraic methods in semantics

by Nivat, Maurice | Nivat, Maurice, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv, 634p.Publisher: Cambridge Cambridge University Press 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Al33] (1).

3. Constraint-based grammar formalisms : parsing and type inference for natural and computer languages

by Shieber, Stuart M.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,183p.Publisher: Cambridge Mit Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.285 Sh61c] (1).

4. FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES

by Slonneger,Kenneth | Kurtz,Barry L.

Material type: book Book Description: xviii,637.Publisher: Addison-Wesley, Reading,Mass. c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 SL54F] (1).

Powered by Koha