£91.63

Springer Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

Price data last checked 50 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 41 days • 41 data points (No recent data available)

Historical
Generating forecast...
£91.63 £91.51 £91.54 £91.56 £91.59 £91.61 £91.64 28 January 2026 07 February 2026 17 February 2026 27 February 2026 09 March 2026

Price Distribution

Price distribution over 41 days • 1 price levels

Days at Price
41 days 0 10 21 31 41 £92 Days at Price

Price Analysis

Most common price: £92 (41 days, 100.0%)

Price range: £92 - £92

Price levels: 1 different prices over 41 days

Description

As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.

Product Specifications

Format
Paperback
Domain
Amazon UK
Release Date
13 November 2014
Listed Since
12 November 2014

Barcode

No barcode data available

Similar Products You Might Like

Springer - Automated Validation of UML/OCL Models Book
92% match

Springer - Automated Validation of UML/OCL Models Book

Springer

£107.31 24 Feb 2026
Systems and Software Verification: Model-Checking Techniques and Tools
91% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£118.59 10 Jan 2026
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
91% match

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Springer

£66.21 25 Feb 2026
System Verification: Proving the Design Solution Satisfies the Requirements
90% match

System Verification: Proving the Design Solution Satisfies the Requirements

Academic Press

£68.89 30 Jan 2026
System Verification: Proving the Design Solution Satisfies the Requirements
90% match

System Verification: Proving the Design Solution Satisfies the Requirements

Academic Press

£69.99 17 Feb 2026
Embedded Software Verification and Debugging (Embedded Systems)
90% match

Embedded Software Verification and Debugging (Embedded Systems)

Springer

£87.51 14 Jan 2026
Verification and Validation for Quality of UML 2.0 Models (Wiley Series in Systems Engineering and Management)
90% match

Verification and Validation for Quality of UML 2.0 Models (Wiley Series in Systems Engineering and Management)

Wiley

£92.59 13 Apr 2026
Verification, Validation and Testing in Software Engineering
90% match

Verification, Validation and Testing in Software Engineering

IGI Global

£84.44 10 Feb 2026
Formal System Verification: State-of the-Art and Future Trends
90% match

Formal System Verification: State-of the-Art and Future Trends

Springer

£89.13 11 Jan 2026
Testing and Validation of Computer Simulation Models: Principles, Methods and Applications (Simulation Foundations, Methods and Applications)
90% match

Testing and Validation of Computer Simulation Models: Principles, Methods and Applications (Simulation Foundations, Methods and Applications)

Springer

£50.59 21 Feb 2026
Model-Based Systems Engineering with OPM and SysML
89% match

Model-Based Systems Engineering with OPM and SysML

Springer

£47.89 03 Mar 2026
System Engineering with SysML: Mechatronic Production Systems and Model-Based Engineering (De Gruyter Textbook)
89% match

System Engineering with SysML: Mechatronic Production Systems and Model-Based Engineering (De Gruyter Textbook)

De Gruyter

£33.88 07 Mar 2026
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
89% match

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Springer

£60.27 15 Feb 2026
Model-Driven Dependability Assessment of Software Systems
89% match

Model-Driven Dependability Assessment of Software Systems

Springer

£75.33 03 Mar 2026
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
89% match

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Springer

£85.99 08 Mar 2026
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components
89% match

Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components

Springer

£75.43 09 Mar 2026
Wiley System Requirements Engineering - SysML Supported Method
89% match

Wiley System Requirements Engineering - SysML Supported Method

Wiley

£120.99 17 Apr 2026
UML-Based Software Product Line Engineering with SMarty
89% match

UML-Based Software Product Line Engineering with SMarty

Springer

£85.47 14 Feb 2026
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
89% match

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Information Science Reference

£65.33 26 Jan 2026
Springer - Formal Methods and Models for System Design Book
89% match

Springer - Formal Methods and Models for System Design Book

Springer

£104.85 18 Apr 2026
Systems Engineering Using the DEJI Systems Model®: Evaluation, Justification, and Integration with Case Studies and Applications (Systems Innovation Book Series)
89% match

Systems Engineering Using the DEJI Systems Model®: Evaluation, Justification, and Integration with Case Studies and Applications (Systems Innovation Book Series)

CRC Press

£105.80 09 Mar 2026
Writing Testbenches using SystemVerilog
89% match

Writing Testbenches using SystemVerilog

Springer

£155.97 20 Jan 2026
System-on-Chip Security: Validation and Verification
89% match

System-on-Chip Security: Validation and Verification

Springer

£57.91 01 Mar 2026
Model-Based System Architecture (Wiley Series in Systems Engineering and Management)
89% match

Model-Based System Architecture (Wiley Series in Systems Engineering and Management)

Wiley

£99.18 25 Jan 2026