Palsberg, Jens

Semantics and Algebraic Specification

Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Semantics and Algebraic Specification

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Zustand : Neu
96,29 €

inkl. MwSt. zzgl. Versandkosten

Lieferzeit 1 Werktag(e)

9783642041631

Die Studibuch Philosophie

Wissen zu fairen Preisen, nachhaltig weitergeben.

Verwandte Sachgebiete

Produktdetails mehr
Einband: Kartoniert
Seitenzahl: 420
Erschienen: 2009-08-28
Sprache: Englisch
EAN: 9783642041631
ISBN: 3642041639
Reihe:
Verlag: -
Gewicht: 637 g
Auflage:
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday,... mehr
Produktinformationen "Semantics and Algebraic Specification"
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.
Weiterführende Links zu "Semantics and Algebraic Specification"
Bewertungen lesen, schreiben und diskutieren... mehr
Kundenbewertungen für "Semantics and Algebraic Specification"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Palsberg, Jens mehr
Zuletzt angesehen