Passer au contenu principal Passer au contenu du pied de page

Introduction to Formal Hardware Verification

Thomas Kropf

9 décembre 2010

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

Description

Langue

anglais

Pages

299

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642084775

Coding Examples from Simple to Complex: Applications in Matlab

Paul A. Gagniuc Couverture rigide
65,95 $
2 formats offerts
Introduction to the Theory of Smart Electromechanical Systems

Andrey E. Gorodetskiy Couverture souple
262,95 $
Nonlinear Speech Modeling and Applications: Advanced Lectures and Revised Selected Papers

Gerard Chollet Couverture souple
80,50 $
Sample Exam Questions- ISTQB Foundation Level-Agile Tester Extension Exam

Chhavi Raj Dosaj Couverture souple
38,95 $
Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy Etc. Methods And Their Applications

Olga Kosheleva Couverture rigide
248,50 $
2 formats offerts
Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy Etc. Methods And Their Applications

Olga Kosheleva Couverture souple
248,50 $
Estimating the Query Difficulty for Information Retrieval

David Carmel Couverture souple
38,95 $
Constraint Handling in Metaheuristics and Applications

Anand J. Kulkarni Couverture souple
262,95 $
Constraint Handling In Metaheuristics And Applications

Anand J. Kulkarni Couverture rigide
262,95 $
2 formats offerts
Meta-Heuristic Algorithms for Advanced Distributed Systems

Couverture rigide
179,99 $
2 formats offerts
Photogrammetric Computer Vision: Statistics, Geometry, Orientation And Reconstruction

Wolfgang Förstner Couverture souple
94,95 $
2 formats offerts
Reduce: Software for Algebraic Computation

Gerhard Rayna Couverture souple
142,95 $
Numerical Linear Algebra, Digital Signal Processing and Parallel Algorithms

Gene H. Golub Couverture souple
160,95 $
Parallel Architectures and Parallel Algorithms for Integrated Vision Systems

Alok N. Choudary Couverture souple
160,95 $
2 formats offerts
Hybrid Metaheuristics in Structural Engineering: Including Machine Learning Applications

Gebrail Bekda Couverture souple
321,50 $
Computer Science: Concepts And Applications

Couverture rigide
208,99 $
Real-Time Database Systems: Fundamentals, Architectures and Applications

Pedro Mejia Alvarez Couverture souple
72,95 $
Introduction To Oracle Database Administration

Ying Wang Couverture souple
14,95 $
2 formats offerts
The Digital Information Age: An Introduction To Electrical Engineering

Roman Kuc Couverture souple
124,95 $
Modeling And Reasoning With Bayesian Networks

Adnan Darwiche Couverture souple
89,95 $
2 formats offerts

Évaluation éditoriale

Auteur

An Introduction to MultiAgent Systems

Michael Wooldridge Couverture souple
93,95 $
Software Engineering with OBJ: Algebraic Specification in Action

Joseph A. Goguen Couverture souple
321,50 $
2 formats offerts
Formal Verification Of Floating-point Hardware Design: A Mathematical Approach

David M. Russinoff Couverture rigide
130,95 $
4 formats offerts
Diagram Design: A Constructive Theory

Thomas Kamps Couverture souple
160,95 $
Text Analytics: An Introduction To The Science And Applications Of Unstructured Information Analysis

John Atkinson-abutridy Couverture rigide
222,50 $
3 formats offerts
Knowledge Architectures: Structures And Semantics

Denise Bedford Couverture souple
91,95 $
3 formats offerts
Finite State Machines In Hardware: Theory And Design (with Vhdl And Systemverilog)

Volnei A. Pedroni Couverture rigide
66,00 $
From Complex Sentences to a Formal Semantic Representation using Syntactic Text Simplification and Open Information Extraction

Christina Niklaus Couverture souple
80,50 $
2 formats offerts
Formal Verification Of Floating-point Hardware Design: A Mathematical Approach

David M. Russinoff Couverture souple
145,95 $
2 formats offerts
Software Verification and Validation: An Engineering and Scientific Approach

Marcus S. Fisher Couverture souple
145,95 $
2 formats offerts
Professional Verification: A Guide To Advanced Functional Verification

Paul Wilcox Couverture souple
160,95 $
Planar Microwave Engineering: A Practical Guide to Theory, Measurement, and Circuits

Thomas H. Lee Livre numérique Kobo
169,99 $ ~~Réduction sur le prix courant 211,95 $ à~~
Index Data Structures in Object-Oriented Databases

Thomas A. Mueck Couverture souple
248,50 $
2 formats offerts
Operating Systems In Depth: Design and Programming

Thomas W. Doeppner Couverture rigide
239,21 $
Computer Architecture with (MIPS) Assembly

Peter Stallinga Couverture souple
29,50 $
Application Of Fpga To Real-time Machine Learning: Hardware Reservoir Computers And Software Image Processing

Piotr Antonik Couverture souple
175,50 $
3 formats offerts
Abstract Algebra: Theory And Applications (2019)

Thomas W Judson Couverture souple
19,95 $
A Practical Introduction to Hardware/Software Codesign

Patrick R. Schaumont Couverture rigide
189,95 $
2 formats offerts
Cloud Application Architectures: Building Applications And Infrastructure In The Cloud

George Reese Couverture souple
29,99 $
2 formats offerts
Methods and Procedures for the Verification and Validation of Artificial Neural Networks

Brian J. Taylor Couverture souple
160,95 $
2 formats offerts