Passer au contenu principal Passer au contenu du pied de page

Automated Validation And Verification Of Uml/ocl Models Using Satisfiability Solvers

Nils Przigoda , Robert Wille , Judith Przigoda

31 janvier 2018

248,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 1 243 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

255

Publié par: Springer Nature

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

ISBN: 9783319728131

ESL Models and their Application: Electronic System Level Design and Verification in Practice

Brian Bailey Couverture souple
204,50 $
3 formats offerts
Sensor Systems: Fundamentals And Applications

Clarence W. De Silva Couverture rigide
310,95 $
2 formats offerts
Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applications

Christophe Bobda Couverture souple
160,95 $
2 formats offerts
Practical Terahertz Electronics: Devices And Applications: Optical Devices And Applications

Vinod Kumar Khanna Couverture rigide
247,00 $
Distributed Impulsive Coordination of Multi-Agent Systems

Zhengle Zhang Couverture rigide
233,95 $
System Level Design of Reconfigurable Systems-on-Chip

Nikolaos Voros Couverture souple
160,95 $
2 formats offerts
Bio-Informatic Systems, Processing and Applications

Johnson I. Agbinya Couverture souple
86,95 $
Optimization Methodologies for the Automatic Design of Switched-Capacitor Filter Circuits for IoT Applications

Hugo Serra Couverture rigide
131,50 $
2 formats offerts
Logic Synthesis and Verification Algorithms

Gary D. Hachtel Couverture souple
145,95 $
Advanced Data Acquisition and Intelligent Data Processing

Vladimir Haasz Couverture souple
93,50 $
Logic Synthesis And Verification

Soha Hassoun Couverture souple
248,50 $
2 formats offerts
Semiconducting Fibers: Preparation, Advances, and Applications

Ram K. Gupta Couverture rigide
340,50 $
2 formats offerts
Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

Florent de Dinechin Couverture souple
58,50 $
Optimization Methodologies for the Automatic Design of Switched-Capacitor Filter Circuits for IoT Applications

Hugo Serra Couverture souple
94,95 $
Digital Control Systems Implementation and Computational Techniques: Advances in Theory and Applications

Cornelius T. Leondes Livre numérique Kobo
191,99 $ ~~Réduction sur le prix courant 239,00 $ à~~
2 formats offerts
Machine Vision: Automated Visual Inspection: Theory, Practice And Applications

Jürgen Beyerer Couverture souple
248,50 $
2 formats offerts
Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

Florent de Dinechin Couverture rigide
262,95 $
2 formats offerts
Directivity Based Multichannel Audio Signal Processing For Microphones In Noisy Acoustic Environments

Simon Grimm Couverture souple
145,95 $
Intelligent Optimal Control for Distributed Industrial Systems

Shaoyuan Li Couverture souple
291,95 $
Intelligent Information Processing For Inertial-based Navigation Systems

Chong Shen Couverture rigide
160,95 $
2 formats offerts

Évaluation éditoriale

Auteur

Verification by Error Modeling: Using Testing Techniques in Hardware Verification

Katarzyna Radecka Couverture souple
160,95 $
2 formats offerts
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems

M.C. Bhuvaneswari Couverture rigide
160,95 $
2 formats offerts
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Kothanda Umamageswaran Couverture souple
160,95 $
2 formats offerts
Design For Testability, Debug And Reliability: Next Generation Measures Using Formal Techniques

Sebastian Huhn Couverture rigide
175,50 $
2 formats offerts
Soft Error Reliability Using Virtual Platforms: Early Evaluation Of Multicore Systems

Felipe Rocha Da Rosa Couverture rigide
160,95 $
2 formats offerts
Statistical Analysis And Optimization For Vlsi: Timing And Power

Ashish Srivastava Couverture souple
248,50 $
2 formats offerts
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice

Alice Wang Couverture souple
248,50 $
2 formats offerts
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice

Alice Wang Couverture rigide
248,50 $
Bayesian Tensor Decomposition for Signal Processing and Machine Learning: Modeling, Tuning-Free Algorithms, and Applications

Lei Cheng Couverture rigide
204,50 $
2 formats offerts
New Data Structures And Algorithms For Logic Synthesis And Verification

Luca Gaetano Amaru Couverture souple
80,50 $
3 formats offerts
Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms

Mohamed Ibrahim Couverture souple
91,95 $
3 formats offerts
Efficient Execution of Irregular Dataflow Graphs: Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra

Nimish Shah Couverture rigide
131,50 $
2 formats offerts
Data-driven Modeling Of Cyber-physical Systems Using Side-channel Analysis

Sujit Rokka Chhetri Couverture rigide
160,95 $
2 formats offerts
Adaptive Filtering: Algorithms And Practical Implementation

Paulo S. R. Diniz Couverture souple
131,50 $
7 formats offerts
Modeling, Control, Estimation, and Optimization for Microgrids: A Fuzzy-Model-Based Method

Zhixiong Zhong Couverture souple
91,95 $
3 formats offerts
Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs

Ruijing Shen Couverture rigide
160,95 $
2 formats offerts
Efficient Nonlinear Adaptive Filters: Design, Analysis and Applications

Haiquan Zhao Couverture rigide
160,95 $
2 formats offerts
Ip Cores Design From Specifications To Production: Modeling, Verification, Optimization, And Protection

Khaled Salah Mohamed Couverture souple
80,50 $
3 formats offerts
Auralization: Fundamentals Of Acoustics, Modelling, Simulation, Algorithms And Acoustic Virtual Reality

Michael Vorländer Couverture rigide
248,50 $
3 formats offerts
Performance of Communication Systems: A Model-Based Approach with Matrix-Geometric Methods

Alexander Ost Couverture souple
248,50 $
2 formats offerts