160 / K914t
Kroger, Fred
Temporal logic and state systems
/ Fred Kroger and Stephan Merz
.- Berlin: Springer-Verlag, 2008
.- xi, 433p. .
ISBN: 9783540674016
Subject Headings:
Logic, Symbolic And Mathematical;
Tense (Logic);
Author Added Entry:
Merz, Stephan;
Copy Details:
Acc. No.: A161843, Full Call No.: 160 K914t, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------