Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten
Secondary Author Rutten, Jan, 1959-Sangiorgi, Davide, 1964- Country Reino Unido. Publication Cambridge : Cambridge University Press, 2012 Description XIII, 326 p. ; 23 cm Series Cambridge tracts in theoretical computer science , 52 ISBN 978-1-107-00497-9 CDU 519.6
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - A | Checked out | 2024-05-06 | 421809 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.