Logics of Specification Languages [electronic resource] /
edited by Dines Bjørner, Martin C. Henson.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Monographs in Theoretical Computer Science, An EATCS Series, 1431-2654 .
9783540741077
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