£39.73

Springer Abstract State Machines: A Method for High-Level System Design and Analysis

Price data last checked 13 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£40 today · cheaper than every other day in the last 3 months

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 78 days • 78 data points (No recent data available)

Historical
Generating forecast...
£41.66 £39.54 £40.00 £40.46 £40.93 £41.39 £41.85 05 April 2026 24 April 2026 13 May 2026 01 June 2026 21 June 2026

Price Distribution

Price distribution over 78 days • 2 price levels

Days at Price
Current Price
52 days · current 26 days 0 13 26 39 52 £40 £42 Days at Price

Price Analysis

Most common price: £40 (52 days, 66.7%)

Price range: £40 - £42

Price levels: 2 different prices over 78 days

Description

Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with the three stumbling-blocks of building modern software based systems: size, complexity and trustworthiness. It covers within a single conceptual framework both design, verification by reasoning techniques, and experimental validation by simulation and testing. The text contains detailed proofs, exercises, as well as numerous real-world examples and case studies.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
03 October 2013
Listed Since
20 September 2013

Barcode

No barcode data available

Similar Products You Might Like

High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)
84% match

High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)

Springer

£115.06 01 Jul 2026
High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)
84% match

High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)

Springer

£107.93 04 Jun 2026
Advanced Techniques for Embedded Systems Design and Test
83% match

Advanced Techniques for Embedded Systems Design and Test

Springer

£108.63 24 May 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
83% match

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Springer

£78.07 06 Jun 2026
Systems and Software Verification: Model-Checking Techniques and Tools
83% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
82% match

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)

Springer

£73.16 18 May 2026
Models in System Design: 9 (Current Issues in Electronic Modeling, 9)
82% match

Models in System Design: 9 (Current Issues in Electronic Modeling, 9)

Springer

£142.01 31 May 2026
Quality-Driven SystemC Design
82% match

Quality-Driven SystemC Design

Springer

£74.42 21 May 2026
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
81% match

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Springer

£73.10 17 May 2026
Design of Embedded Control Systems
81% match

Design of Embedded Control Systems

Springer

£87.38 12 Jun 2026
Present and Ulterior Software Engineering
81% match

Present and Ulterior Software Engineering

Springer

£75.02 27 May 2026
Energy-Efficient Fault-Tolerant Systems (Embedded Systems)
81% match

Energy-Efficient Fault-Tolerant Systems (Embedded Systems)

Springer

£107.98 26 May 2026
Architecture-Based Design of Multi-Agent Systems
81% match

Architecture-Based Design of Multi-Agent Systems

Springer

£83.58 12 Jun 2026
Specifying Software: A Hands-On Introduction
81% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£42.00 31 May 2026
System Synthesis with VHDL
81% match

System Synthesis with VHDL

Springer

£107.98 29 May 2026
Managing Project Complexity and Risk with Systems Engineering
81% match

Managing Project Complexity and Risk with Systems Engineering

Springer

£71.73 21 Jun 2026
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
81% match

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Springer

£73.10 28 May 2026
System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)
81% match

System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)

Springer

£75.68 31 May 2026
Software Architectures: Advances and Applications
81% match

Software Architectures: Advances and Applications

Springer

£84.63 16 May 2026
Symbolic Simulation Methods for Industrial Formal Verification
80% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.60 27 May 2026
Effective Model-Based Systems Engineering
80% match

Effective Model-Based Systems Engineering

Springer

£89.12 18 May 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
80% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£74.86 06 Jun 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
80% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.17 05 Jun 2026
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
80% match

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Springer

£39.06 01 Jun 2026