BackgroundSemantic structuresSemantic modellingLogic and algebraic methods Handbook of logic in computer science / ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Handbook of logic in computer science / ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum . - Oxford : Clarendon Press, 1992-19-- . - v. 24 cm . -
vol.1 : Background : mathematical structures. - XII, 827 pvol.2 : Background : computational structures. - X, 571 p. : ilvol.3 : Semantic structures. - cop. 1994. - XIII, 490 pvol.4 : Semantic modelling. - 1995. - XIII, 651 p.vol.5 : Logic and algebraic methods. - 2000. - XVIII, 537 p.
0-19-853735-2 (v.1)0-19-853761-1 (v.2)0-19-853762-X (v.3)0-19-853780-8 (v.4)0-19-853781-6 (v.5) (Encadernados)

519.6