Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
Full Title: | Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52) |
---|---|
ISBN: | 1107004977 |
ISBN13: | 9781107004979 |
List Price: | USD $110.00 |