004.015113 / Ad95
Advanced topics in bisimulation and coinduction
/ edited by Davide Sangiorgi and Jan Rutten
.- Cambridge: Cambridge University Press, 2012
.- xiii, 326p .
.- ( Cambridge Tracts In Theoretical Computer Science / Edited By S. Abramsky No.52
ISBN: 9781107004979
Subject Headings:
Computer science;
Induction (Mathematics);
Modality (Logic);
Computer science--Philosophy;
Computer simulation;
Author Added Entry:
Sangiorgi, Davide, Ed.;
Copy Details:
Acc. No.: A174311, Full Call No.: 004.015113 Ad95, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------