Temporal Logics in Computer Science

Title:
Temporal Logics in Computer Science
Author:
Demri; Goranko; Lange
Subject:
Computer Science; Philosophy; English Literature: General Interest
Publisher:
Cambridge University Press
Description:
Coursebooks
Indentifiers:
E-ISBN: 9781139236119; 9781107028364 ISBN:
Collection:
Cambridge University Press