Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Semantics and Algebraic Specification

Semantics and Algebraic Specification

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642041631
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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