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

Amazon cover image
Image from Amazon.com

Advanced topics in bisimulation and coinduction

By:
Contributor(s): Material type: TextTextSeries: Cambridge Tracts In Theoretical Computer Science / Edited By S. Abramsky ; No.52Publication details: Cambridge Cambridge University Press 2012Description: xiii, 326pISBN:
  • 9781107004979
Subject(s): DDC classification:
  • 004.015113 Ad95
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Books 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.

to post a comment.

Powered by Koha