Kröger, Fred.
Temporal Logic and State Systems [electronic resource] / by Fred Kröger, Stephan Merz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Texts in Theoretical Computer Science, An EATCS Series, 1862-4499 . - Texts in Theoretical Computer Science, An EATCS Series, .
9783540686354
10.1007/978-3-540-68635-4 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA8.9-QA10.3
005.131
Temporal Logic and State Systems [electronic resource] / by Fred Kröger, Stephan Merz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Texts in Theoretical Computer Science, An EATCS Series, 1862-4499 . - Texts in Theoretical Computer Science, An EATCS Series, .
9783540686354
10.1007/978-3-540-68635-4 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA8.9-QA10.3
005.131