Temporal Logics in Computer Science
- Título:
- Temporal Logics in Computer Science
- Materia:
- Computer Science; Philosophy; English Literature: General Interest
- Editor:
- Cambridge University Press
- Descripción:
- Coursebooks
- Identificadores:
- E-ISBN: 9781139236119; 9781107028364 ISBN:
- Colección:
- Cambridge University Press