£107.98

Springer Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)

Price data checked 2 days ago

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.

£108 today · cheaper than every other day in the last 1 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 36 days • 36 data points

Historical
Generating forecast...
£107.98 £102.58 £104.74 £106.90 £109.06 £111.22 £113.38 01 May 2026 09 May 2026 18 May 2026 27 May 2026 05 June 2026

Price Distribution

Price distribution over 36 days • 1 price levels

Days at Price
36 days 0 9 18 27 36 £108 Days at Price

Price Analysis

Most common price: £108 (36 days, 100.0%)

Price range: £108 - £108

Price levels: 1 different prices over 36 days

Description

The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
01 December 2010
Listed Since
20 September 2010

Barcode

No barcode data available

Similar Products You Might Like

Semantic Modeling and Interoperability in Product and Process Engineering: A Technology for Engineering Informatics (Springer Series in Advanced Manufacturing)
83% match

Semantic Modeling and Interoperability in Product and Process Engineering: A Technology for Engineering Informatics (Springer Series in Advanced Manufacturing)

Springer

£95.99 06 Jun 2026
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
82% match

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

Springer

£129.99 30 May 2026
Systems and Software Verification: Model-Checking Techniques and Tools
82% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
82% match

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

Springer

£73.10 17 May 2026
Foundations of Heterogeneous Integration: An Industry-Based, 2.5D/3D Pathfinding and Co-Design Approach
82% match

Foundations of Heterogeneous Integration: An Industry-Based, 2.5D/3D Pathfinding and Co-Design Approach

Springer

£65.57 18 May 2026
Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)
81% match

Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)

Springer

£107.98 01 Jun 2026
Handbook on Artificial Intelligence-Empowered Applied Software Engineering: VOL.1: Novel Methodologies to Engineering Smart Software Systems: 2 ... Software and Systems Engineering, 2)
81% match

Handbook on Artificial Intelligence-Empowered Applied Software Engineering: VOL.1: Novel Methodologies to Engineering Smart Software Systems: 2 ... Software and Systems Engineering, 2)

Springer

£107.98 04 Jun 2026
Integrated Manufacturing Systems Engineering (IFIP Advances in Information and Communication Technology)
81% match

Integrated Manufacturing Systems Engineering (IFIP Advances in Information and Communication Technology)

Springer

£73.85 31 May 2026
Specification and Verification of Multi-agent Systems
81% match

Specification and Verification of Multi-agent Systems

Springer

£107.98 25 May 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
81% 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
81% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

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

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

Springer

£73.16 18 May 2026
Service Engineering: European Research Results
81% match

Service Engineering: European Research Results

Springer

£107.98 24 May 2026
Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)
80% match

Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)

Springer

£65.50 17 May 2026
Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)
80% match

Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)

Springer

£80.64 24 May 2026
Semantic Web Services, Processes and Applications: 3 (Semantic Web and Beyond, 3)
80% match

Semantic Web Services, Processes and Applications: 3 (Semantic Web and Beyond, 3)

Springer

£80.64 11 May 2026
Synergies Between Knowledge Engineering and Software Engineering: 626 (Advances in Intelligent Systems and Computing, 626)
80% match

Synergies Between Knowledge Engineering and Software Engineering: 626 (Advances in Intelligent Systems and Computing, 626)

Springer

£76.38 06 Jun 2026
High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)
80% match

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

Springer

£107.93 04 Jun 2026
Semantic Web Technologies for Intelligent Engineering Applications
80% match

Semantic Web Technologies for Intelligent Engineering Applications

Springer

£76.38 31 May 2026
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
80% match

Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£93.60 05 Jun 2026
Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03
80% match

Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03

Springer

£107.98 27 May 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
Web Engineering: Modelling and Implementing Web Applications (Human–Computer Interaction Series)
80% match

Web Engineering: Modelling and Implementing Web Applications (Human–Computer Interaction Series)

Springer

£107.98 01 Jun 2026
Software Engineering for Games in Serious Contexts: Theories, Methods, Tools, and Experiences
80% match

Software Engineering for Games in Serious Contexts: Theories, Methods, Tools, and Experiences

Springer

£102.00 06 Jun 2026