We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£72.00
LAP Lambert Academic Publishing Formalisation of SysML Models and Analysis based on Refinement
Price data last checked 22 day(s) ago - will refresh soon
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.
£72 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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 69 days · 69 data points (no recent data)
Price Distribution
Price distribution over 69 days • 1 price levels
Price Analysis
Most common price: £72 (69 days, 100.0%)
Price range: £72 - £72
Price levels: 1 different prices over 69 days
Description
Product Specifications
- Format
- paperback
- ASIN
- 3659946583
- Category
- Books > Subjects
- Domain
- Amazon UK
- Release Date
- 20 September 2016
- Listed Since
- 13 October 2016
Barcode
No barcode data available
Similar Products You Might Like
Agile Systems Engineering with SysML v2 and AI
Elsevier
Reactive Systems: Modelling, Specification and Verification
Cambridge University Press
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
Springer
Modelling Systems: Practical Tools and Techniques in Software Development
Cambridge University Press
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
Springer
Automatic Effective Model Discovery: Towards Synthesis of Effective Software Artifacts...
LAP Lambert Academic Publishing
Modeling and Analysis of Communicating Systems
MIT Press
Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems
Springer
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Symbolic Simulation Methods for Industrial Formal Verification
Springer
Software Architecture Modeling by Reuse, Composition and Customization: An infrastructure for modeling the architecture of a software system by composing and adapting existing SA assets
LAP Lambert Academic Publishing
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Springer
System Synthesis with VHDL
Springer
High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)
Springer
High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)
Springer
Verification and Control of Hybrid Systems: A Symbolic Approach
Springer
Verification and Control of Hybrid Systems: A Symbolic Approach
Springer
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
Springer
Abstract State Machines: A Method for High-Level System Design and Analysis
Springer
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03
Springer
Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems
Springer
Model-Driven Dependability Assessment of Software Systems
Springer
Formal Refinement for Operating System Kernels
Springer