Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Edition: 1 edition
Publisher: Springer
Published: April 2008
Language: eng
Format: Hardcover
Number of pages: 400
ISBN-13: 9783540674016
Subjects: Programming languages; Computers; Mathematics; Computer Books: General; Computer Science; Logic; Concurrent programming; Correct software development; Formal methods; LTL, Linear temporal logic; Mathematics / Logic; Model checking; Specification; State systems; TLA, Temporal Logic of Actions; Temporal logic; Verification; General