TY  - BOOK
AU  - Bjorner,Dines
AU  - Henson,Martin C.
TI  - Logics of specification languages
T2  - Monographs in theoretical computer science
SN  - 3540741062
AV  - QA76.7  .L63 2008
PY  - 2008///
CY  - Berlin
PB  - Springer
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Logic, Symbolic and mathematical
ER  -