Autore: Martin C. Henson

Supporto

2 Ebook di Martin C. Henson

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 e …
PDF
Inglese
€149.79