Premium & Rewards Members Earn Double Stamps Shop Now Ends 7/5Premium & Rewards Members Earn Double Stamps Shop Now Ends 7/5
Add Item to wish listAdd Item to wish list

Operational Methods In Semantics

By Roberto M Amadio, Giovanni Bernardi
Hardcover
$138.00
By Roberto M Amadio, Giovanni Bernardi

Premium Members get an additional 10% off now through 07/05/26, Premium & Rewards Members Earn Double Stamps! 10 stamps = $5 reward.

Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
This item will be released on May 30, 2027
Free standard shipping on orders over $60
The comprehensive book focuses on abstract models and basic ideas and results that relate to the operational semantics of both sequential and concurrent programming languages. The approach is to start with an abstract description of the computation steps of programs and then to build on top semantic equivalences, specification languages, and static analyses. This useful reference text benefits professionals, researchers, academics, postgraduate and graduate students in software engineering ...