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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Die Dampfkessel
$49.99
Sequential Logic Synthesis
$109.99
Navigation and Robotics in Total Joint and Spine Surgery
$84.99
Fundamentals of Solid State Engineering
$159.99
Mobile Technologies for Smart Healthcare System Design
$199.99
Teacher Professional Development for Improving Quality of Teaching
$179.99
Fachbegriffe Internationale Rechnungslegung/Glossary of international accounting terms
$59.99
Bremsenhandbuch
$169.99
A Primer on Environmental Decision-Making
$179.99
Kulinarische Geheimnisse
$34.99
A Short History of the Netherlands Antilles and Surinam
$54.99
Plant Nitrogen Metabolism
$39.99
Report on Chinas Cruise Industry
$159.00
Fertility, Living Arrangements, Care and Mobility
$84.99
Progress in Electrodermal Research
$169.99
From Knowledge Intensive CAD to Knowledge Intensive Engineering
$169.99
Soil Heavy Metals
$219.99
Hemostasis and Thrombosis
$109.99
Metainformatics
$39.99
Trauma, Ethics and the Political Beyond PTSD
$99.99
Handbook on Craniofacial Superimposition
$54.99
Berlin: Von der geteilten zur gespaltenen Stadt?
$44.99
Functional Analysis in Mechanics
$109.99
The British Film Industry in the 1970s
$54.99
Die Immunittsforschung Ergebnisse und Probleme in Einzeldarstellungen
$59.99
The Roots of Ethnic Conflict in Africa
$39.99
Non-Oscillation Domains of Differential Equations with Two Parameters
$29.99
Lasermesstechnik
$59.99
Beruflich Pflegende als Akteure in digital untersttzten Lernwelten
$39.99
Mensch-Maschine-Schnittstelle in Echtzeitsystemen
$59.99
Live Cell Imaging
$84.99
Energy Flows, Material Cycles and Global Development
$119.00
Managing Crises, Making Peace
$54.99
Analyse und Beurteilung von Entsorgungslogistiksystemen
$49.99
Laserstrahlhrten mit angepaten Strahlformungssystemen
$59.99
Resolving Semantic Ambiguity
$109.99
George Eliot, Music and Victorian Culture
$109.99
Artificial Intelligence and Soft Computing
$109.99
Lepidoptera of Norfolk Island. Their Biogeography and Ecology
$219.99
Zukunftskompetenz Vertrieb
$44.99
