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

Zeitmae in der Urgeschichte

$44.99

Fernsehen ohne Kontrolle?

$59.99

Atlas of Bedforms in the Western Mediterranean

$169.99

Myofascial Pain and Dysfunction

$84.99

Pathomechanics of Common Foot Disorders

$169.99

Physics of Graphene

$129.00

Design Education Today

$169.99

Disaster Forensics

$169.99

Skyrmions in Condensed Matter

$149.00

Why Startups Fail

$29.99

The One

$5.99

Mechatronic Modeling of Real-Time Wheel-Rail Contact

$109.99

Fhrung und innere Kndigung in der Polizei

$17.99

E-Learning Geschftsmodelle und Einsatzkonzepte

$59.99

Proteases in Tissue Remodelling of Lung and Heart

$109.00

Tiempo de calabazas!

$4.49

The Royal Navy in Indigenous Australia, 17951855

$119.99

Personal 2000

$69.99

Data Mining for Social Network Data

$109.99

Semantics of Type Theory

$79.99

Solvation Effects on Molecules and Biomolecules

$449.99

Computational Intelligence in Music, Sound, Art and Design

$64.99

Modern Developments in Powder Metallurgy

$109.99

Celestial Messengers

$44.99

Massachusetts (A True Book: My United States)

$23.25

Distributed Impulsive Coordination of Multi-Agent Systems

$159.99

Sixth International Visual Field Symposium

$39.99

E-Participation in Smart Cities: Technologies and Models of Governance for Citizen Engagement

$119.00

Rntgenstrukturanalyse und Rietveldmethode

$54.99

Gracias a Winn-Dixie

$8.99

Portability of Numerical Software

$44.99

AI, Blockchain and Self-Sovereign Identity in Higher Education

$219.99

Histopathologie des weiblichen Genitaltraktes

$69.99

Waste Reduction in Precast Construction

$99.00

Krankheiten der Schilddrse

$44.99

Kapitalbeschaffung und Kapitaleinsatz

$59.99

Generationenbeziehungen im Wohlfahrtsstaat

$89.99

Volcanoes

$3.71

Gear Accuracy

$199.99

This Little.: This Little Dreamer

$3.71