Logics of specification languages [electronic resource] / Dines Bjørner, Martin C. Henson, editors.
"By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done withi...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
©2008.
|
| Series: | Monographs in theoretical computer science.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.7 .L65 2008eb
|
|---|---|
| QA76.7 .L65 2008eb | Available |