Cover Image

Logics of Specification Languages

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 within the...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Bjørner, Dines. (Editor, http://id.loc.gov/vocabulary/relators/edt), Henson, Martin C. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Monographs in Theoretical Computer Science. An EATCS Series,
Subjects:
Mathematical logic.
Software engineering.
Computer logic.
Computers.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Theory of Computation.
Online Access:https://doi.org/10.1007/978-3-540-74107-7

Internet

https://doi.org/10.1007/978-3-540-74107-7

Similar Items