Fundamentals proof methods in computer science : A computer based approach / Arkoudas, Konstantine & Musser, David
Material type: TextLanguage: English Publication details: Massachusetts : MIT Press,ISBN:- 9780262035538
- 004.0151 ARK
Item type | Current library | Call number | Status | Barcode | |
---|---|---|---|---|---|
Book | Ranganathan Library | 004.0151 ARK (Browse shelf(Opens below)) | Available | 032309 |
There are no comments on this title.
Log in to your account to post a comment.