Logics of Specification Languages

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bjørner, Dines (Επιμελητής έκδοσης), Henson, Martin C. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Monographs in Theoretical Computer Science, An EATCS Series,
• Θέματα: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.; Software Engineering.; Logics and Meanings of Programs.; Theory of Computation.

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