PKK Library

Your cart is empty.

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

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
1.
Formal development of programs and proofs

by Dijkstra, Edsger W. [Ed.].

Material type: book Book Description: xiv, 242p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F765] (1).

Place hold Add to cart
2.
LOGICAL FOUNDATIONS OF FUNCTIONAL PROGRAMMING

by Huet, Gerard.

Material type: book Book Description: xvi,491.Publisher: Reading, Mass. Addison-Wesley c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829] (1).

Place hold Add to cart

Powered by Koha