PKK Library

Your cart is empty.

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

Your search returned 17 results. Subscribe to this search

Unhighlight Highlight
|
1.
Algebraic approaches to program semantics

by Manes, Ernest G | Arbib, Michael A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 351p.Publisher: New York Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M313a] (1).

Place hold Add to cart
2.
PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS

by Allison, Lloyd.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,132.Publisher: Cambridge Cambridge Univ. Pr. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 AL56p] (1).

Place hold Add to cart
3.
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).

Place hold Add to cart
4.
FULL ABSTRACTION AND SEMANTIC EQUIVALENCE

by Mulmuley, Ketan.

Material type: book Book; Format: print ; Literary form: not fiction Description: 198.Publisher: Cambridge Mit Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M918fa] (1).

Place hold Add to cart
5.
FOUNDATIONS OF LOGIC PROGRAMMING

by Lloyd, J.W.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,124.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).

Place hold Add to cart
6.
FOUNDATIONS OF LOGIC PROGRAMMING

by Lloyd, J.W.

Material type: book Book; Format: print ; Literary form: not fiction Description: 317.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).

Place hold Add to cart
7.
FAIRNESS

by Francez, Nissim.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,295.Publisher: New York Springer Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F845f] (1).

Place hold Add to cart
8.
AADIKAND

by Bandyopadhyay.

Material type: book Book; Format: print ; Literary form: not fiction Description: 138.Publisher: Cambridge Mit Press 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 891.433 B222A] (1).

Place hold Add to cart
9.
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).

Place hold Add to cart
10.
INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS

by Reichel, Horst.

Material type: book Book; Format: print ; Literary form: not fiction Description: 221.Publisher: Oxford Clarendon Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 R271i] (1).

Place hold Add to cart
11.
SEMANTICS OF PROGRAMMING LANGUAGES

by Gunter,Carl A.

Material type: book Book Description: xviii,419.Publisher: Mit Press, Cambridge c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 G957S] (1).

Place hold Add to cart
12.
THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES

by Winskel,Glynn.

Material type: book Book Description: xviii,361.Publisher: Mit Press, Cambridge c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W732F] (1).

Place hold Add to cart
13.
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).

Place hold Add to cart
14.
Programming logics : an introduction to verification and semantics

by Gumb, Raymond D.

Material type: book Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G952p] (1).

Place hold Add to cart
15.
ALGEBRAIC THEORY OF PROCESSES

by Hannesay, Matthew.

Material type: book Book; Format: print ; Literary form: not fiction Description: vi,273.Publisher: Cambridge Mit Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6420151 H196a] (1).

Place hold Add to cart
16.
SEMANTICS WITH APPLICATIONS : AN APPETIZER

by Nielson,Hanne Riis | Nielson,Flemming.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,274.Publisher: Springer-Verlag, London 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 N554S] (1).

Place hold Add to cart
17.
Fully abstract models of programming languages

by Stoughton, Allen.

Material type: book Book; Format: print ; Literary form: not fiction Description: 123p.Publisher: London Pitman Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 St76f] (1).

Place hold Add to cart

Powered by Koha