Bjørner, Dines.
Software Engineering 2 Specification of Systems and Languages / [electronic resource] : by Dines Bjørner. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Texts in Theoretical Computer Science An EATCS Series . - Texts in Theoretical Computer Science An EATCS Series .
9783540331933
10.1007/978-3-540-33193-3 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1
Software Engineering 2 Specification of Systems and Languages / [electronic resource] : by Dines Bjørner. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Texts in Theoretical Computer Science An EATCS Series . - Texts in Theoretical Computer Science An EATCS Series .
9783540331933
10.1007/978-3-540-33193-3 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1