Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Formal Verification of Structurally Complex Multipliers
Lieferzeit: Lieferbar innerhalb 14 Tagen
96,29 €
inkl. 7 % MwSt. zzgl. Versandkosten
| ISBN: | 3031245733 |
|---|---|
| ISBN 13: | 9783031245732 |
| Autor: | Mahzoon, Alireza/Große, Daniel/Drechsler, Rolf |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiii, 130 S., 13 s/w Illustr., 23 farbige Illustr., 130 p. 36 illus., 23 illus. in color. |
| Erscheinungsdatum: | 16.02.2024 |
| Auflage: | 1/2024 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Critical Systems: Formal Methods and Automated Verification]()
Critical Systems: Formal Methods and Automated Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reversible and Quantum Circuits]()
Reversible and Quantum Circuits
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SAT-Based Scalable Formal Verification Solutions]()
SAT-Based Scalable Formal Verification Solutions
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: In-Memory-Computing]()
In-Memory-Computing
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Floating-Point Hardware Design]()
Formal Verification of Floating-Point Hardware Design
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Specification Level]()
Formal Specification Level
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Critical Systems: Formal Methods and Automated Verification]()
Critical Systems: Formal Methods and Automated Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Towards One-Pass Synthesis]()
Towards One-Pass Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Structurally Constrained Controllers]()
Structurally Constrained Controllers
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Graphenbasierte Funktionsdarstellung]()
Graphenbasierte Funktionsdarstellung
49,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Formal Grammars]()
Introduction to Formal Grammars
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quality-Driven SystemC Design]()
Quality-Driven SystemC Design
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quality-Driven SystemC Design]()
Quality-Driven SystemC Design
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symbolic Simulation Methods for Industrial Formal Verification]()
Symbolic Simulation Methods for Industrial Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Simulink/Stateflow Diagrams]()
Formal Verification of Simulink/Stateflow Diagrams
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Towards One-Pass Synthesis]()
Towards One-Pass Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Formal Verification]()
Advanced Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Enhanced Virtual Prototyping]()
Enhanced Virtual Prototyping
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Semantics and Verification Of Use Case Maps]()
Formal Semantics and Verification Of Use Case Maps
94,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: In-Memory Computing]()
In-Memory Computing
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Binary Decision Diagrams]()
Binary Decision Diagrams
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory of Sobolev Multipliers]()
Theory of Sobolev Multipliers
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Communication Protocols for Wireless Networks]()
Formal Verification of Communication Protocols for Wireless Networks
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Analysis of Virtual Prototypes at the Electronic System Level]()
Automated Analysis of Virtual Prototypes at the Electronic System Level
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robustness and Usability in Modern Design Flows]()
Robustness and Usability in Modern Design Flows
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Bit-precise Formal Verification of Embedded Software]()
Scalable Bit-precise Formal Verification of Embedded Software
45,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Physics of Structurally Disordered Solids]()
Physics of Structurally Disordered Solids
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Structurally Stable Systems of Differential Equations]()
Introduction to Structurally Stable Systems of Differential Equations
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SAT-Based Scalable Formal Verification Solutions]()
SAT-Based Scalable Formal Verification Solutions
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Erweiterte virtuelle Prototypen für heterogene Systeme]()
Erweiterte virtuelle Prototypen für heterogene Systeme
84,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verbessertes virtuelles Prototyping]()
Verbessertes virtuelles Prototyping
89,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robustness and Usability in Modern Design Flows]()
Robustness and Usability in Modern Design Flows
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Floating-Point Hardware Design]()
Formal Verification of Floating-Point Hardware Design
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Circuits]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Concurrent Embedded Software]()
Formal Verification of Concurrent Embedded Software
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Simulink/Stateflow Diagrams]()
Formal Verification of Simulink/Stateflow Diagrams
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Redundant Binary Booth Multipliers]()
Redundant Binary Booth Multipliers
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Enhanced Virtual Prototyping]()
Enhanced Virtual Prototyping
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design für Testbarkeit, Fehlersuche und Zuverlässigkeit]()
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Konzeption und Anwendung von Credit Default Swaps]()
Konzeption und Anwendung von Credit Default Swaps
18,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles]()
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Roadmap for Formal Property Verification]()
A Roadmap for Formal Property Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Roadmap for Formal Property Verification]()
A Roadmap for Formal Property Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Binary Decision Diagrams]()
Binary Decision Diagrams
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Object-Oriented Software]()
Formal Verification of Object-Oriented Software
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Towards One-Pass Synthesis]()
Towards One-Pass Synthesis
93,08 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design Automation Techniques for Approximation Circuits]()
Design Automation Techniques for Approximation Circuits
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Neural Network Analog VLSI Multipliers]()
Neural Network Analog VLSI Multipliers
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal System Verification]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Towards a Design Flow for Reversible Logic]()
Towards a Design Flow for Reversible Logic
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Formal Hardware Verification]()
Introduction to Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Evolutionary Algorithms for VLSI CAD]()
Evolutionary Algorithms for VLSI CAD
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Floating-Point Hardware Design]()
Formal Verification of Floating-Point Hardware Design
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theory of Sobolev Multipliers]()
Theory of Sobolev Multipliers
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes]()
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Formal Hardware Verification]()
Introduction to Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Enhanced Virtual Prototyping for Heterogeneous Systems]()
Enhanced Virtual Prototyping for Heterogeneous Systems
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Polynomial Formal Verification of Approximate Functions]()
Polynomial Formal Verification of Approximate Functions
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Evolutionary Algorithms for VLSI CAD]()
Evolutionary Algorithms for VLSI CAD
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Hardware Verification]()
Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Structurally Unstable Quadratic Vector Fields of Codimension One]()
Structurally Unstable Quadratic Vector Fields of Codimension One
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal System Verification]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Hardware Verification]()
Formal Methods for Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Debugging at the Electronic System Level]()
Debugging at the Electronic System Level
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Enhanced Virtual Prototyping for Heterogeneous Systems]()
Enhanced Virtual Prototyping for Heterogeneous Systems
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design for Testability, Debug and Reliability]()
Design for Testability, Debug and Reliability
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Towards a Design Flow for Reversible Logic]()
Towards a Design Flow for Reversible Logic
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symbolic Simulation Methods for Industrial Formal Verification]()
Symbolic Simulation Methods for Industrial Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Development and Formal Verification of TTCAN]()
Development and Formal Verification of TTCAN
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Structurally Complex Multipliers]()
Formal Verification of Structurally Complex Multipliers
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Introduction to the Theory of Multipliers]()
An Introduction to the Theory of Multipliers
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Verification of Cyber-Physical Systems]()
Formal Modeling and Verification of Cyber-Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design Automation Techniques for Approximation Circuits]()
Design Automation Techniques for Approximation Circuits
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: High Quality Test Pattern Generation and Boolean Satisfiability]()
High Quality Test Pattern Generation and Boolean Satisfiability
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Local Multipliers of C*-Algebras]()
Local Multipliers of C*-Algebras
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification Of FDIR in Smart Grid]()
Formal Verification Of FDIR in Smart Grid
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multipliers - Revised and Updated]()
Multipliers – Revised and Updated
15,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes]()
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: High Quality Test Pattern Generation]()
High Quality Test Pattern Generation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Formal Verification]()
Advanced Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Analysis of Virtual Prototypes at the Electronic System Level]()
Automated Analysis of Virtual Prototypes at the Electronic System Level
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Local Multipliers of C*-Algebras]()
Local Multipliers of C*-Algebras
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Circuits]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Specification Level]()
Formal Specification Level
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design for Testability, Debug and Reliability]()
Design for Testability, Debug and Reliability
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification]()
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Verification]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Structurally Constrained Controllers]()
Structurally Constrained Controllers
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
