Passer au contenu principal Passer au contenu du pied de page

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

Yongfeng Yin , Bo Jiang Édition : Zhang Zhou

6 septembre 2023

148,50 $

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

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 743 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

329

Publié par: CRC Press

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9781032488189

Foundations of Analog and Digital Electronic Circuits

Anant Agarwal Couverture souple
147,95 $
Differential Cryptanalysis on Hash Functions: Theory and Practice

Xie Xie Tao Couverture souple
77,50 $
Distributed And Parallel Systems: Cluster And Grid Computing

Zoltan Juhasz Couverture souple
160,95 $
Artificial Intelligence And Quantum Dynamics For Memristor-system Computing

Ivan Zelinka Couverture rigide
230,95 $
Haptic Interaction with Deformable Objects: Modelling VR Systems for Textiles

Guido Böttcher Couverture souple
173,95 $
3 formats offerts
Post-Quantum Cryptography Using Complexity

Michael James de Mare Couverture souple
20,95 $
Explainable Artificial Intelligence for Intelligent Transportation Systems: Ethics and Applications

Loveleen Gaur Couverture souple
262,95 $
Massively Parallel Databases and Mapreduce Systems

Shivnath Babu Couverture souple
110,50 $
Explainable Artificial Intelligence for Intelligent Transportation Systems: Ethics and Applications

Loveleen Gaur Couverture rigide
262,95 $
2 formats offerts
Robustness Optimization for IoT Topology

Tie Qiu Couverture souple
248,50 $
Robustness Optimization For Iot Topology

Tie Qiu Couverture rigide
248,50 $
2 formats offerts
Parallel Computing: Principles and Practice

T. J. Fountain Couverture souple
59,95 $
2 formats offerts
Optimization Of Stochastic Models: The Interface Between Simulation And Optimization

Georg Ch. Pflug Couverture rigide
321,50 $
Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing

Alexander Meduna Couverture souple
110,95 $
3 formats offerts
Advances in Computational Intelligence and Its Applications

Sheikh Fahad Ahmad Couverture souple
78,50 $
2 formats offerts
Incomplete Information: Rough Set Analysis

Ewa Orlowska Couverture souple
248,50 $
2 formats offerts
Homomorphic Encryption for Financial Cryptography: Recent Inventions and Challenges

V. Seethalakshmi Couverture rigide
291,95 $
2 formats offerts
Homomorphic Encryption for Financial Cryptography: Recent Inventions and Challenges

V. Seethalakshmi Couverture souple
291,95 $
Biometrics for User Authentication Using Artificial Neural Networks

Mais Mohammed Hobi Couverture souple
68,00 $
Community Detection and Stochastic Block Models

Emmanuel Abbe Couverture souple
128,95 $

Évaluation éditoriale

zhang zhou

Auteur

Lifeline Engineering Systems: Network Reliability Analysis And Aseismic Design

Jie Li Couverture souple
291,95 $
Lifeline Engineering Systems: Network Reliability Analysis And Aseismic Design

Jie Li Couverture rigide
291,95 $
2 formats offerts
Modeling, Analysis, and Optimization for Space-Ground Integrated Networks

Min Sheng Couverture rigide
262,95 $
Topology Deduction and Control for Dual-Active-Bridge Converters

Guo Xu Couverture rigide
262,95 $
2 formats offerts
Predictive Learning Control for Unknown Nonaffine Nonlinear Systems: Theory and Applications

Qiongxia Yu Couverture rigide
233,95 $
2 formats offerts
Topology Deduction and Control for Dual-Active-Bridge Converters

Guo Xu Couverture souple
72,95 $
Genetic Programming For Production Scheduling: An Evolutionary Learning Approach

Fangfang Zhang Couverture rigide
248,50 $
2 formats offerts
Learning-Based Control: A Tutorial and Some Recent Results

Zhong-ping Jiang Couverture souple
110,50 $
Adaptive Control of Dynamic Systems with Uncertainty and Quantization

Jing Zhou Couverture souple
91,95 $
3 formats offerts
Predictive Learning Control for Unknown Nonaffine Nonlinear Systems: Theory and Applications

Qiongxia Yu Couverture souple
233,95 $
Virtual Equivalent System Approach For Stability Analysis Of Model-based Control Systems

Weicun Zhang Couverture rigide
160,95 $
2 formats offerts
Modeling and Simulation for Microelectronic Packaging Assembly: Manufacturing, Reliability and Testing

Shen Liu Couverture rigide
218,95 $
2 formats offerts
Genetic Programming for Production Scheduling: An Evolutionary Learning Approach

Fangfang Zhang Couverture souple
248,50 $
Optical Parametric Generation and Amplification

Jing-Yuan Zhang Livre numérique Kobo
143,99 $
2 formats offerts
Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml

Liang Wang Couverture souple
72,95 $
2 formats offerts
Proceedings of Income-VI and Tepen 2021: Performance Engineering and Maintenance Engineering

Hao Zhang Couverture rigide
321,50 $
2 formats offerts
Genetic Programming For Image Classification: An Automated Approach To Feature Learning

Ying Bi Couverture rigide
248,50 $
2 formats offerts
Stability Enhancement Methods of Inverters based on Lyapunov Function, Predictive Control, and Reinforcement Learning

Xin Zhang Couverture rigide
204,50 $
2 formats offerts
Virtual Equivalent System Approach For Stability Analysis Of Model-based Control Systems

Weicun Zhang Couverture souple
160,95 $
Nonrecursive Control Design for Nonlinear Systems: Theory and Applications

Chuanlin Zhang Couverture rigide
207,50 $
2 formats offerts