Reactive systems : modelling, specification and verification / Luca Aceto... [et al.]
Coauthor Aceto, Luca Country Reino Unido. Publication Cambridge : Cambridge University, 2007 Description XVI, 284 p. : il. ; 26 cm ISBN 978-0-521-87546-2 CDU 519.6| Item type | Current location | Call number | Status | Date due | Barcode | Item holds | Course reserves |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - R | Available | 388307 |
Licenciatura em Ciências da Computação Interação e Concorrência 2º semestre |
||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - R | Available | 397236 | |||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - R | Available | 397237 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.