Författare: Martin C. Henson

Stöd

2 E-böcker av 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
Engelska
€149.79