£108.01

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

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

View at Amazon

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

This is the most expensive it has ever been. Walk away.

£108 today · previous high £108 · all-time low £108

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 63 days · 63 data points (no recent data)

Historical
Generating forecast…
£108.01 £107.98 £107.98 £107.99 £108.00 £108.01 £108.01 07 June 2026 22 June 2026 08 July 2026 23 July 2026 08 August 2026

Price Distribution

Price distribution over 63 days • 1 price levels

Days at Price
63 days 0 16 32 47 63 £108 Days at Price

Price Analysis

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

Price range: £108 - £108

Price levels: 1 different prices over 63 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 08 Aug 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 06 Aug 2026
Systems and Software Verification: Model-Checking Techniques and Tools
82% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 08 Aug 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.14 03 Aug 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.61 04 Aug 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

£108.01 07 Aug 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

£108.01 08 Aug 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 07 Aug 2026
Specification and Verification of Multi-agent Systems
81% match

Specification and Verification of Multi-agent Systems

Springer

£108.01 05 Aug 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
81% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.21 08 Aug 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
81% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.22 08 Aug 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

£74.46 04 Aug 2026
Service Engineering: European Research Results
81% match

Service Engineering: European Research Results

Springer

£108.01 05 Aug 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 03 Aug 2026
Semantic Web Information Management: A Model-Based Perspective
80% match

Semantic Web Information Management: A Model-Based Perspective

Springer

£77.49 30 Jul 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.67 05 Aug 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.67 31 Jul 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.42 08 Aug 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

£115.06 01 Jul 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

£109.00 08 Aug 2026
Semantic Web Technologies for Intelligent Engineering Applications
80% match

Semantic Web Technologies for Intelligent Engineering Applications

Springer

£76.42 06 Aug 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

£81.74 08 Aug 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

£108.01 06 Aug 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

£50.25 07 Aug 2026