1 résultat(s)
Télécharger le livre : Logics of Specification Languages
Dines Bjørner , Martin C. Henson
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...
Editeur : Springer
Parution : 2007-12-05
Collection : Monographs in Theoretical Computer Science. An EATCS Series
Format(s) : PDF
169,39 €
Téléchargement immédiat
Dès validation de votre commande