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

Amazon cover image
Image from Amazon.com

Formal development of programs and proofs

Contributor(s): Material type: TextTextLanguage: English Series: The UT Year of Programming SeriesPublication details: Reading, Massachusetts Addison-Wesley 1990Description: xiv, 242pISBN:
  • 0201172372
Subject(s): DDC classification:
  • 001.642 F765
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur General Stacks 001.642 F765 (Browse shelf(Opens below)) Available A107802
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha