From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science) - Image 1

£153.56

CRC Press From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)

Name: From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)
Brand: CRC Press
Price: 153.56 GBP
Availability: InStock

Information Systems

This is the usual price. Wait for it to drop, or tell us your number.

£154 today · usual range £0–£0 · best ever £141

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 612 days • 612 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 612 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £146-151 (299 days, 48.9%)

Price range: £141 - £167

Price levels: 5 price ranges over 612 days

Description

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand properties and evolution laws of existing complex and adaptive systems―man-made such as smart electrical grids or natural ones such as biological networks.A tribute to Professor Kaisa Sere’s contributions to the field of computer science, From Action Systems to Distributed Systems: The Refinement Approach is the first book to address the impact of refinement through a multitude of formal methods ranging from Action Systems to numerous related approaches in computer science research. It presents a state-of-the-art review on the themes of distributed systems and refinement. A fundamental part of Kaisa Sere’s research consisted of developing Action Systems, a formalism for modeling, analysing, and constructing distributed systems. Within the design of distributed systems, Kaisa Sere’s main research focus was on refinement-based approaches to the construction of systems ranging from pure software to hardware and digital circuits.Presenting scientific contributions from renowned researchers around the world, this edited book consists of five sections: Modeling, Analysis, Proof, Refinement, and Applications. Each chapter has been thoroughly reviewed by experts in the field. The book covers both traditional aspects in formal methods research, as well as current and innovative research directions. It describes the transition from the strong theory of refinement to a methodology that can be applied in practice, with tool support.Examining industrial applications of the methods discussed, this book is a suitable resource for graduate students, researchers, and practitioners interested in using formal methods to develop distributed systems of quality. About the Author Luigia Petre, Emil Sekerinski

Product Specifications

Brand: CRC Press
Format: Hardcover
ASIN: 1498701582
Category: Books > Subjects > Computing & Internet > Computer Science > Information Systems
Domain: Amazon UK
Release Date: 14 June 2016
Listed Since: 15 April 2015

Barcode

No barcode data available

CRC Press From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Agents and Multi-Agent Systems: Technologies and Applications 2020: 14th KES International Conference, KES-AMSTA 2020, June 2020 Proceedings: 186 (Smart Innovation, Systems and Technologies, 186)

Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994

Models and Analysis for Distributed Systems

Agents and Multi-Agent Systems: Technologies and Applications 2021: Proceedings of 15th KES International Conference, KES-AMSTA 2021, June 2021: 241 (Smart Innovation, Systems and Technologies, 241)

Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)

Handbook of Wireless Sensor Networks: Issues and Challenges in Current Scenario's: 1132 (Advances in Intelligent Systems and Computing, 1132)

Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)

Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, ... (Studies in Computational Intelligence, 446)

Handbook of Wireless Sensor Networks: Issues and Challenges in Current Scenario's: 1132 (Advances in Intelligent Systems and Computing, 1132)

Modeling Companion for Software Practitioners

Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, ... (Studies in Computational Intelligence, 446)

Self-organising Multi-agent Systems: Algorithmic Foundations Of Cyber-anarcho-socialism

Real-Time Systems Design and Analysis: Tools for the Practitioner

Springer - Specification and Verification of Multi-agent Systems

Self-organising Software: From Natural to Artificial Adaptation (Natural Computing Series)

Automated Software Testing: Foundations, Applications and Challenges (Services and Business Process Reengineering)

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

Model Engineering for Simulation

Nature-Inspired Networking: Theory and Applications

Intelligent Distributed Computing V: Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, the ... (Studies in Computational Intelligence, 382)

Springer - Composing Model-Based Analysis Tools Book

Handbook of Research on Pathways and Opportunities Into the Business of Esports

Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017: 9 (Lecture Notes on Data Engineering and Communications Technologies, 9)