Bjørner, Dines.
Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Monographs in Theoretical Computer Science, An EATCS Series, 1431-2654 . - Monographs in Theoretical Computer Science, An EATCS Series, .
9783540741077
10.1007/978-3-540-74107-7 doi
Computer science.
Software engineering.
Information theory.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Theory of Computation.
QA8.9-QA10.3
005.131
Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Monographs in Theoretical Computer Science, An EATCS Series, 1431-2654 . - Monographs in Theoretical Computer Science, An EATCS Series, .
9783540741077
10.1007/978-3-540-74107-7 doi
Computer science.
Software engineering.
Information theory.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Theory of Computation.
QA8.9-QA10.3
005.131