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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------