Hardback
Add to list Added to list Temporal Logic: Volume 1
Dov M. Gabbay,Ian Hodkinson,Mark Reynolds (Dept of Ciencia da Computacao),etc.
BL Indispensable reference for both the pure logician and the theoretical computer scientist This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of…
Available to order, ships in approx 4 weeksAvailable to order