Siirry suoraan sisältöön
Semantics and Algebraic Specification
Tallenna

Semantics and Algebraic Specification

66,20 €
Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.
Alaotsikko
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Toimittaja
Jens Palsberg
Painos
2009 ed.
ISBN
9783642041631
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
28.8.2009
Sivumäärä
409