Embedded Software System Testing: Automatic Testing Solution Based on Formal Method - Image 1

£49.57

About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.

£50 today · all-time low £49 (Sep 2026) · usually £49

CRC Press Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

Name: Embedded Software System Testing: Automatic Testing Solution Based on Formal Method
Brand: CRC Press
Price: 49.57 GBP
Availability: InStock

Software Testing

Price Distribution

Price distribution over 70 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £49 (45 days, 64.3%)

Price range: £49 - £53

Price levels: 2 different prices over 70 days

Description

This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems. The quality and reliability of embedded systems have become a great concern, faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and expound on the testing theory and techniques of embedded software systems and relevant environment construction technologies, providing effective solutions for the automated testing of embedded systems. Through analyzing typical testing examples of the complex embedded software systems, the authors verify the effectiveness of the theories, technologies and methods proposed in the book. In combining the fundamental theory and technology and practical solutions, this book will appeal to researchers and students studying computer science, software engineering, and embedded systems, as well as professionals and practitioners engaged in the development, verification, and maintenance of embedded systems in the military and civilian fields.

Product Specifications

Brand: CRC Press
Format: paperback
ASIN: 1032488190
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Software Testing
Domain: Amazon UK
Release Date: 27 June 2025
Listed Since: 01 May 2025

Barcode

No barcode data available

About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.

CRC Press Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Smart Computing and Self-Adaptive Systems (Computational Intelligence Techniques)

Modeling and Stability Analysis of Inverter-Based Resources

Smart Manufacturing Factory: Artificial-Intelligence-Driven Customized Manufacturing

Autonomous Safety Control of Flight Vehicles

Linear and Nonlinear Waves in Microstructured Solids: Homogenization and Asymptotic Approaches

Intelligent Virtual System for Underwater Vehicle Piloting using Unity™

Bio-Based Composites for High-Performance Materials: From Strategy to Industrial Application

Electrode Materials for Energy Storage and Conversion

Transfer Learning through Embedding Spaces

Big Data Analytics Framework for Smart Grids (Explainable AI XAI for Engineering Applications)

Electroinduced Drift of Neutral Charge Clusters in Salt Solutions

Securing Android Apps: A Practical Approach for Secure Development

Industrial Applications of Microbial Enzymes

Multifaceted approaches for Data Acquisition, Processing & Communication

Green Communication Technologies for Future Networks: An Energy-Efficient Perspective

Chemical Engineering Computation with MATLAB®

Acute Trauma Care in Developing Countries: A Practical Guide

The Carbon Chain in Carbon Dioxide Industrial Utilization Technologies: A Case Study

Microstrip Antenna Design for Wireless Applications

Introduction to Non-Invasive EEG-Based Brain-Computer Interfaces for Assistive Technologies

Algal Biorefineries and the Circular Bioeconomy: Industrial Applications and Future Prospects

Operations Management and Data Analytics Modelling: Economic Crises Perspective

Metakaolin and Fly Ash as Mineral Admixtures for Concrete

Statistical Modeling and Robust Inference for One-shot Devices

About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.

CRC Press Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Smart Computing and Self-Adaptive Systems (Computational Intelligence Techniques)

Modeling and Stability Analysis of Inverter-Based Resources

Smart Manufacturing Factory: Artificial-Intelligence-Driven Customized Manufacturing

Autonomous Safety Control of Flight Vehicles

Linear and Nonlinear Waves in Microstructured Solids: Homogenization and Asymptotic Approaches

Intelligent Virtual System for Underwater Vehicle Piloting using Unity™

Bio-Based Composites for High-Performance Materials: From Strategy to Industrial Application

Electrode Materials for Energy Storage and Conversion

Transfer Learning through Embedding Spaces

Big Data Analytics Framework for Smart Grids (Explainable AI XAI for Engineering Applications)

Electroinduced Drift of Neutral Charge Clusters in Salt Solutions

Securing Android Apps: A Practical Approach for Secure Development

Industrial Applications of Microbial Enzymes

Multifaceted approaches for Data Acquisition, Processing & Communication

Green Communication Technologies for Future Networks: An Energy-Efficient Perspective

Chemical Engineering Computation with MATLAB®

Acute Trauma Care in Developing Countries: A Practical Guide

The Carbon Chain in Carbon Dioxide Industrial Utilization Technologies: A Case Study

Microstrip Antenna Design for Wireless Applications

Introduction to Non-Invasive EEG-Based Brain-Computer Interfaces for Assistive Technologies

Algal Biorefineries and the Circular Bioeconomy: Industrial Applications and Future Prospects

Operations Management and Data Analytics Modelling: Economic Crises Perspective

Metakaolin and Fly Ash as Mineral Admixtures for Concrete

Statistical Modeling and Robust Inference for One-shot Devices