Passer au contenu principal Passer au contenu du pied de page

Formal Verification Of Floating-point Hardware Design: A Mathematical Approach

David M. Russinoff

4 mars 2022

248,50 $

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

Voir tous les formats

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

436

Publié par: Springer Nature

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

ISBN: 9783030871802

Formal Verification Of Floating-point Hardware Design: A Mathematical Approach

David M. Russinoff Couverture souple
145,95 $
2 formats offerts
Microturbines: Applications For Distributed Energy Systems

Claire Soares Couverture rigide
149,50 $
Advances in Biomedical Sensing, Measurements, Instrumentation and Systems

Aim Lay-Ekuakille Couverture souple
248,50 $
2 formats offerts
Thermal Energy Systems: Design, Computational Techniques, and Applications

Ashwani Kumar Couverture rigide
236,95 $
2 formats offerts
Hardware Verification with System Verilog: An Object-oriented Framework

Mike Mintz Couverture rigide
248,50 $
Hardware Verification with System Verilog: An Object-Oriented Framework

Mike Mintz Couverture souple
175,50 $
Introduction to Semiconductor Device Yield Modeling

Ferris-Prabhu Ferris-Prabhu Couverture rigide
115,50 $
Molecular Modeling and Multiscaling Issues for Electronic Material Applications: Volume 2

Artur Wymyslowski Couverture rigide
160,95 $
2 formats offerts
New Trends and Applications in Femtosecond Laser Micromachining

Couverture rigide
72,40 $
Molecular Modeling And Multiscaling Issues For Electronic Material Applications: Volume 2

Artur Wymyslowski Couverture souple
160,95 $
Micromachining Using Electrochemical Discharge Phenomenon: Fundamentals and Application of Spark Assisted Chemical Engraving

Rolf Wuthrich Livre numérique Kobo
185,99 $ ~~Réduction sur le prix courant 232,00 $ à~~
3 formats offerts
Beamforming: Sensor Signal Processing For Defence Applications

Athanassios Manikas Couverture rigide
173,95 $
2 formats offerts
Laser Heating Applications: Analytical Modelling

Bekir Sami Yilbas Livre numérique Kobo
159,99 $ ~~Réduction sur le prix courant 199,00 $ à~~
2 formats offerts
Software-Defined Power Electronics: Converter Configuration, Control, and Optimization

Liwei Zhou Couverture souple
72,95 $
Software-Defined Power Electronics: Converter Configuration, Control, and Optimization

Liwei Zhou Couverture rigide
131,50 $
2 formats offerts
The Principles of Applied Electrochemistry (Classic Reprint)

Arthur John Allmand D. Sc Couverture souple
19,57 $
9 formats offerts
Electronic and Structural Properties of LaNiO₃-Based Heterostructures

Jennifer Fowlie Couverture souple
129,95 $
Prosody: Models And Measurements

A. Cutler Couverture souple
160,95 $
Introduction to Electronic Warfare Modeling and Simulation

David L. Adamy Couverture souple
175,50 $
Functional Tactile Sensors: Materials, Devices and Integrations

Ye Zhou Couverture souple
318,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Formal Verification Of Floating-point Hardware Design: A Mathematical Approach

David M. Russinoff Couverture souple
145,95 $
2 formats offerts
Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon Couverture rigide
145,95 $
2 formats offerts
Design for Manufacturability and Statistical Design: A Constructive Approach

Michael Orshansky Couverture souple
248,50 $
2 formats offerts
Lattice-based Public-key Cryptography In Hardware

Sujoy Sinha Roy Couverture rigide
87,95 $
2 formats offerts
System-on-a-Chip Verification: Methodology and Techniques

Prakash Rashinkar Couverture souple
262,95 $
2 formats offerts
A Practical Introduction to Hardware/Software Codesign

Patrick R. Schaumont Couverture rigide
189,95 $
2 formats offerts
Discrete Element Method In The Design Of Transport Systems: Verification And Validation Of 3d Models

Daniel Gelnar Couverture rigide
160,95 $
2 formats offerts
Multiprocessor System-on-Chip: Hardware Design and Tool Integration

Michael Hübner Couverture rigide
248,50 $
2 formats offerts
Quantifying Aesthetics Of Visual Design Applied To Automatic Design

Ali Jahanian Couverture souple
160,95 $
3 formats offerts
The Codesign Of Embedded Systems: A Unified Hardware/Software Representation

Sanjaya Kumar Couverture souple
321,50 $
2 formats offerts
A Formal Approach to Hardware Design

Jorgen Staunstrup Couverture souple
248,50 $
2 formats offerts
Static Timing Analysis for Nanometer Designs: A Practical Approach

J. Bhasker Couverture souple
291,95 $
2 formats offerts
Practical Aspects of Embedded System Design using Microcontrollers

Jivan Parab Couverture souple
160,95 $
2 formats offerts
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Prabhat Mishra Couverture souple
142,95 $
2 formats offerts
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

Ashok B. Mehta Couverture souple
175,50 $
3 formats offerts
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Kothanda Umamageswaran Couverture souple
160,95 $
2 formats offerts
Linear Algebra Based Controllers: Design And Applications

Gustavo Scaglia Couverture rigide
233,95 $
2 formats offerts
Theory Of Affine Projection Algorithms For Adaptive Filtering

Kazuhiko Ozeki Couverture souple
160,95 $
3 formats offerts
Design And Implementation Of Portable Impedance Analyzers

Abdulwadood A. Al-ali Couverture rigide
80,50 $
2 formats offerts
Systemverilog For Hardware Description: Rtl Design And Verification

Vaibbhav Taraate Couverture souple
145,95 $
3 formats offerts