£72.98

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

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

Springer Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

View at Amazon

Price History & Forecast

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

Last 70 days · 70 data points (no recent data)

Historical
Generating forecast…
£72.98 £69.33 £70.79 £72.25 £73.71 £75.17 £76.63 25 July 2026 11 August 2026 28 August 2026 14 September 2026 02 October 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 70 days • 1 price levels

Days at Price
70 days 0 18 35 53 70 £73 Days at Price

Price Analysis

Most common price: £73 (70 days, 100.0%)

Price range: £73 - £73

Price levels: 1 different prices over 70 days

Description

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
28 July 2020
Listed Since
02 April 2020

Barcode

No barcode data available

Similar Products You Might Like

Ontology-Based Multi-Agent Systems: 219 (Studies in Computational Intelligence, 219)
96% match

Ontology-Based Multi-Agent Systems: 219 (Studies in Computational Intelligence, 219)

Springer

£73.85 19 Sep 2026
Semantic Web and Model-Driven Engineering
96% match

Semantic Web and Model-Driven Engineering

Wiley

£61.99 13 Sep 2026
Recent Developments in Intelligent Computing, Communication and Devices: Proceedings of ICCD 2019: 1185 (Advances in Intelligent Systems and Computing, 1185)
95% match

Recent Developments in Intelligent Computing, Communication and Devices: Proceedings of ICCD 2019: 1185 (Advances in Intelligent Systems and Computing, 1185)

Springer

£135.83 24 Sep 2026
Springer - Composing Model-Based Analysis Tools Book
95% match

Springer - Composing Model-Based Analysis Tools Book

Springer

£102.46 01 Oct 2026
Information Flow and Knowledge Sharing (Volume 2) (Capturing Intelligence, Volume 2)
95% match

Information Flow and Knowledge Sharing (Volume 2) (Capturing Intelligence, Volume 2)

Elsevier

£99.99 18 Sep 2026
Specification and Verification of Multi-agent Systems - Springer
95% match

Specification and Verification of Multi-agent Systems - Springer

Springer

£109.09 03 Oct 2026
Mereology and the Sciences: Parts and Wholes in Scientific Context
95% match

Mereology and the Sciences: Parts and Wholes in Scientific Context

Springer

£127.59 03 Oct 2026
Semantic Web: Implications for Technologies and Business Practices
95% match

Semantic Web: Implications for Technologies and Business Practices

Springer

£80.67 13 Sep 2026
Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)
95% match

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

Springer

£41.43 02 Oct 2026
Active Database Systems: Triggers and Rules for Advanced Database Processing (The Morgan Kaufmann Series in Data Management Systems)
95% match

Active Database Systems: Triggers and Rules for Advanced Database Processing (The Morgan Kaufmann Series in Data Management Systems)

Elsevier

£75.00 26 Sep 2026
AI-Based Services for Smart Cities and Urban Infrastructure
95% match

AI-Based Services for Smart Cities and Urban Infrastructure

Engineering Science Reference

£150.00 24 Sep 2026
Semantic Web Science and Real-World Applications (Advances in Web Technologies and Engineering)
95% match

Semantic Web Science and Real-World Applications (Advances in Web Technologies and Engineering)

Information Science Reference

£164.04 30 Sep 2026
Formal Methods in Computer Science (Textbooks in Mathematics)
95% match

Formal Methods in Computer Science (Textbooks in Mathematics)

CRC Press

£100.69 24 Sep 2026
Enterprise Ontology: A Human-Centric Approach to Understanding the Essence of Organisation (The Enterprise Engineering Series)
95% match

Enterprise Ontology: A Human-Centric Approach to Understanding the Essence of Organisation (The Enterprise Engineering Series)

Springer

£78.68 10 Sep 2026
Enterprise Interoperability: Research & Applications - IWEI 2013
95% match

Enterprise Interoperability: Research & Applications - IWEI 2013

Wiley

£121.99 19 Sep 2026
Intelligent Processing Practices and Tools for E-Commerce Data, Information, and Knowledge (EAI/Springer Innovations in Communication and Computing)
95% match

Intelligent Processing Practices and Tools for E-Commerce Data, Information, and Knowledge (EAI/Springer Innovations in Communication and Computing)

Springer

£92.20 23 Sep 2026
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
95% match

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£32.70 30 Sep 2026
Information Systems Development: Advances in Methodologies, Components and Management
95% match

Information Systems Development: Advances in Methodologies, Components and Management

Springer

£53.20 12 Sep 2026
Incomplete Information: Rough Set Analysis: 13 (Studies in Fuzziness and Soft Computing, 13)
95% match

Incomplete Information: Rough Set Analysis: 13 (Studies in Fuzziness and Soft Computing, 13)

Springer

£114.71 24 Sep 2026
Risks and Regulation of New Technologies (Kobe University Monograph Series in Social Science Research)
95% match

Risks and Regulation of New Technologies (Kobe University Monograph Series in Social Science Research)

Springer

£108.01 11 Sep 2026