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

Amazon cover image
Image from Amazon.com

Rigorous software development : an introduction to program verification

Contributor(s): Material type: TextTextLanguage: English Series: Undergraduate topics in computer sciencePublication details: London Springer 2011Description: xii, 263pISBN:
  • 9780857290175
Subject(s): DDC classification:
  • 005.14 R449
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur COMPACT STORAGE (BASEMENT) 005.14 R449 (Browse shelf(Opens below)) Link to resource Available A173828
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha