Ebooks de Martin C. Henson en PDF

1 Livre(s)
Télécharger le livre : Logics of Specification Languages
Ajouter à ma liste d'envies
Logics of Specification Languages
Dines Bjørner , Martin C. Henson
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...

Editeur : Springer
Parution : 2007-12-05
Collection : Monographs in Theoretical Computer Science. An EATCS Series
PDF

147,69 €