2 Електронні книги від 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
Англійська
€149.79
Didier Bert & Jonathan P. Bowen: ZB 2002: Formal Specification and Development in Z and B
…
PDF
Англійська
DRM
€57.04
