
Semantics and Algebraic Specification
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics. The presentations - given on a symposium in his honor in Udine, Italy, on September 10, 2009 - were on subjects related to Peter's many technical contributions and they were a tribute to his lasting impact on the field. 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. von Palsberg, Jens
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Kartoniert
- 355 Seiten
- Erschienen 2006
- Springer
- Taschenbuch
- 242 Seiten
- Erschienen 2008
- Dover Pubn Inc
- Kartoniert
- 392 Seiten
- Erschienen 2007
- Springer
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
- Hardcover
- 264 Seiten
- World Scientific Publishing...
- Hardcover
- 176 Seiten
- Erschienen 1980
- De Gruyter Mouton
- Kartoniert
- 551 Seiten
- Erschienen 1996
- Springer
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
- hardcover
- 253 Seiten
- Erschienen 1994
- Vieweg+Teubner Verlag
- hardcover
- 458 Seiten
- Erschienen 1995
- Cambridge University Press