Copied Semantics and Algebraic Specification
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
El club de los 3: Tras los Caminos de la igualdad
$5.96
Anker und Ankerungen zur Stabilisierung des Gebirges
$44.99
Science with Adaptive Optics
$39.99
Talent Management
$109.99
Plant Proteomics
$109.00
Masculine Identities and Male Sex Work between East Java and Bali
$54.99
Cometary Theory in Fifteenth-Century Europe
$109.99
Die Brokmer Rechtshandschriften
$59.99
Language and Operational Thought
$54.99
Experimental and Applied Mechanics, Volume 6
$259.00
Methods of Model Based Process Control
$549.99
Stories and Organization in the Anthropocene
$79.99
Zeitbezug und Sprache
$59.99
Clean Coal Technology and Sustainable Development
$169.00
Applications and Techniques in Information Security
$69.99
Rntgenpathologie der Lungentuberkulose
$59.99
Handbuch Qualitt
$179.99
Baby See, Baby Do / Lost bebs hacen lo que ven
$5.21
Solar-Terrestrial Physics/1970
$109.99
Resistance
$84.99
Ergebnisse der Biologie
$59.99
Planeten Monde Ringsysteme
$54.99
GI 7. Jahrestagung
$109.99
Human-Centric Computing in a Data-Driven Society
$159.99
Innovation through Knowledge Transfer 2012
$169.99
Crop Pests in the UK
$39.99
Intestinal Absorption and Secretion
$329.99
SPA - Screening psychischer Arbeitsbelastung
$49.99
Die Preussische Finanzreform durch Regulirung der Gemeindesteuern
$79.99
Rating von Volkswirtschaften mit knstlich-neuronalen Netzen
$59.99
Ecology in Transport: Problems and Solutions
$129.00
Big Data Analytics
$54.99
R for Finite Element Analyses of Microscale Structures
$54.99
Future Data and Security Engineering
$54.99
Strategisches Informationsmanagement in Groprojekten der Industrie
$39.99
The Einstein Equations and the Scale Behavior of Gravitational Fields
$39.99
Chemokine Biology - Basic Research and Clinical Application
$109.99
Style in Translation: A Corpus-Based Perspective
$54.99
ber die Wirkung des Pituitrins und -Imidazolthylamins (Histamins) auf die Herzaktion
$54.99
Real-Time Analysis of Biomolecular Interactions
$84.99
