Image from Amazon.com
Advanced topics in bisimulation and coinduction
Material type:
TextSeries: Cambridge Tracts In Theoretical Computer Science / Edited By S. Abramsky ; No.52Publication details: Cambridge Cambridge University Press 2012Description: xiii, 326pISBN: - 9781107004979
- 004.015113 Ad95
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 004.015113 Ad95 (Browse shelf(Opens below)) | Available | A174311 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.