Image from Amazon.com
Programming logics : an introduction to verification and semantics
Material type:
TextLanguage: English Publication details: New York John Wiley 1989Description: xvii, 334pISBN: - 0471605395
- 001.6424 G952p
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 001.6424 G952p (Browse shelf(Opens below)) | Available | A105196 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.