Image from Amazon.com
Advanced topics in bisimulation and coinduction
Material type:
TextSeries: Cambridge Tracts In Theoretical Computer Science 52 / Edited By S. AbramskyPublication 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
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.0151 M42 Mathematics and computer science algorithms, trees, combinatorics and probabilities | 004.0151 N917p2 Numerical recipes in FORTRAN the art of scientific computing | 004.0151 Sh82c A computational introduction to number theory and algebra | 004.015113 Ad95 Advanced topics in bisimulation and coinduction | 004.015113 H222d Dynamic logic | 004.015118 On1m On-line algorithms proceedings of a DIMACS workshop, February 11-13, 1991 | 004.015192 K553u Uses of randomness in algorithms and protocols |
There are no comments on this title.
Log in to your account to post a comment.