Passer au contenu principal Passer au contenu du pied de page

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

Yongfeng Yin

6 septembre 2023

91,99 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Publié par: CRC Press

ISBN: 9781000876987

Generating Executable Robotic Process Automation Scripts from Unsegmented User Interface Logs

Simone Agostinelli Couverture souple
72,95 $
Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing

Alexander Meduna Couverture souple
110,95 $
3 formats offerts
Generating Executable Robotic Process Automation Scripts from Unsegmented User Interface Logs

Simone Agostinelli Couverture souple
80,50 $
Automatic Target Recognition User Interface Tool

David A Kerns Couverture souple
60,51 $
Sequential Logic and Verilog HDL Fundamentals

Joseph Cavanagh Livre numérique Kobo
315,99 $
Introducing Software Verification With Dafny Language: Proving Program Correctness

Boro Sitnikovski Couverture souple
48,50 $
2 formats offerts
Java Threads: Understanding And Mastering Concurrent Programming

Scott Oaks Couverture souple
57,95 $
2 formats offerts
Java Threads: Understanding And Mastering Concurrent Programming

Scott Oaks Couverture souple
57,95 $
2 formats offerts
Java Threads: Understanding and Mastering Concurrent Programming

Livre numérique Kobo
25,99 $ ~~Réduction sur le prix courant 31,99 $ à~~
Mastering Structured Data On The Semantic Web: From Html5 Microdata To Linked Open Data

Leslie Sikos Couverture souple
72,50 $
2 formats offerts
Engineering Scalable, Elastic, And Cost-efficient Cloud Computing Applications: The Cloudscale Method

Steffen Becker Couverture souple
87,95 $
2 formats offerts
Foundations of Analog and Digital Electronic Circuits

Anant Agarwal Couverture souple
147,95 $
MATLAB and Simulink In-Depth: Model-based Design with Simulink and Stateflow, User Interface, Scripting, Simulation, Visualization and Debugging

Priyanka Patankar Livre numérique Kobo
20,99 $
Practical Ansible: Configuration Management From Start To Finish

Vincent Sesto Couverture souple
52,50 $
2 formats offerts
Parallel Iterative Algorithms: From Sequential To Grid Computing

Jacques Mohcine Bahi Couverture souple
118,50 $
Guide To Distributed Simulation With Hla

Okan Top Couverture rigide
145,95 $
2 formats offerts
Estimation and Equalization for MIMO Channels - A Polynomial Prediction Approach with Integrated Receiver Designs

Yau Hee Kho Couverture souple
95,50 $
Multimission Aircraft Design Study: Operational Scenarios

Nevin Coskuner Couverture souple
60,51 $
Event-Driven Architecture in Golang: Building complex systems with asynchronicity and eventual consistency

Michael Stack Couverture souple
59,03 $
2 formats offerts
Carte-cadeau

Indigo

Évaluation éditoriale

Auteur

Practical System Programming With C: Pragmatic Example Applications In Linux And Unix-based Operating Systems

Sri Manikanta Palakollu Couverture souple
87,95 $
2 formats offerts
Modeling Software With Finite State Machines: A Practical Approach

Ferdinand Wagner Couverture souple
110,95 $
3 formats offerts
Software Verification and Analysis: An Integrated, Hands-On Approach

Janusz Laski Couverture souple
80,50 $
3 formats offerts
The Feature-driven Method For Structural Optimization

Weihong Zhang Couverture souple
259,50 $
2 formats offerts
Form-Oriented Analysis: A New Methodology to Model Form-Based Applications

Dirk Draheim Couverture souple
160,95 $
2 formats offerts
Introduction To Component-based Software Development, An

Kung-Kiu Lau Couverture rigide
113,95 $
2 formats offerts
Block Trace Analysis And Storage System Optimization: A Practical Approach With Matlab/python Tools

Jun Xu Couverture souple
55,50 $
2 formats offerts
Introduction to Software Testing: A Practical Guide to Testing, Design, Automation, and Execution

Panagiotis Leloudas Couverture souple
80,50 $
2 formats offerts
A Practical Guide to Verilog-A: Mastering the Modeling Language for Analog Devices, Circuits, and Systems

Slobodan Mijalkovi Couverture souple
94,95 $
2 formats offerts
Data Plane Development Kit (dpdk): A Software Optimization Guide To The User Space-based Network Applications

Heqing Zhu Couverture souple
103,95 $
3 formats offerts
Software Verification and Validation: An Engineering and Scientific Approach

Marcus S. Fisher Couverture souple
145,95 $
2 formats offerts
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Christian Herde Couverture souple
80,50 $
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques

Vytautas Å Tuikys Couverture souple
160,95 $
3 formats offerts
Automated Unit Testing with ABAP: A Practical Approach

James E. Mcdonough Couverture souple
80,50 $
2 formats offerts
Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control: Method, Software And Industrial Applicati: Method, Software And Industrial Application

Shu Gang Kang Couverture souple
160,95 $
3 formats offerts
Iot System Design: Project Based Approach

Alice James Couverture rigide
248,50 $
2 formats offerts
Constraint-based Design Recovery For Software Reengineering: Theory And Experiments

Steven G. Woods Couverture souple
321,50 $
3 formats offerts
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Seetharaman Ramachandran Couverture souple
324,95 $
2 formats offerts
Advanced Model-based Engineering Of Embedded Systems: Extensions Of The Spes 2020 Methodology

Klaus Pohl Couverture souple
80,50 $
2 formats offerts
Embedded Software Timing: Methodology, Analysis And Practical Tips With A Focus On Automotive

Peter Gliwa Couverture souple
94,95 $