£42.99

It has never been this cheap. We have no record of a lower price.

£43 today · cheaper than every other day in the last 3 months

Vieweg+Teubner Verlag Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme (Leitfäden und Monographien der Informatik)

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 35 days · 35 data points (no recent data)

Historical
Generating forecast…
£42.99 £40.84 £41.70 £42.56 £43.42 £44.28 £45.14 11 August 2026 19 August 2026 28 August 2026 05 September 2026 14 September 2026
View at Amazon ↗

Price data last checked 56 day(s) ago - refreshing...

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 35 days • 1 price levels

Days at Price
35 days 0 9 18 26 35 £43 Days at Price

Price Analysis

Most common price: £43 (35 days, 100.0%)

Price range: £43 - £43

Price levels: 1 different prices over 35 days

Description

Die Korrektheit eines digitalen Systems vollständig nachzuweisen - dieses Problem, das von großem praktischen Interesse ist, wirft eine Reihe grund legender Fragen der Modellierung von Hardware, der Entwicklung geeig neter Repräsentationen, der Möglichkeit formalen Argurnentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einführung für diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Während ein Buch über dieses Thema - insbesondere auf Deutsch verfaßt - vor einigen Jahren noch etwas fast missionarisches gehabt hätte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferen zen und Veröffentlichungen wiederspiegelt. Dieses Interesse hat seine Ur sache einmal sicherlich in einem gesteigerten Problembewußtsein, daß man sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, daß das Problem der Verifikation fun damental ist für den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung "Entwurfsmethodik für komplexe digitale Systeme", die ich an der Technischen Hochschule Darmstadt von 1985 bis 1990 hielt, so wie aus einer Reihe englischsprachiger Berichte, die ich zum Zwecke der Selbstverständigung über das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty für die jahrelange Förderung mei ner Arbeit. Er bot mir die Möglichkeit, meine Ideen über die Verifikation digitaler Systeme während meiner Zeit als Mitarbeiter und später als Habi litand am Institut für Datentechnik der Technischen Hochschule Darmstadt zu entwickeln.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
01 October 1991
Listed Since
17 August 2012

Barcode

No barcode data available

Similar Products You Might Like

Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
84% match

Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods

Springer

£58.55 25 Oct 2026
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
83% match

Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Springer

£173.86 20 Oct 2026
VHDL and FPLDs in Digital Systems Design, Prototyping and Customization
82% match

VHDL and FPLDs in Digital Systems Design, Prototyping and Customization

Springer

£85.68 29 Aug 2026
Writing Testbenches using SystemVerilog
81% match

Writing Testbenches using SystemVerilog

Springer

£88.21 23 Oct 2026
Verification Techniques for System-Level Design (Systems on Silicon)
81% match

Verification Techniques for System-Level Design (Systems on Silicon)

Elsevier

£56.98 30 Aug 2026
Hardware Verification with System Verilog: An Object-Oriented Framework
81% match

Hardware Verification with System Verilog: An Object-Oriented Framework

Springer

£51.23 15 Sep 2026
Design and Verification of Microprocessor Systems for High-Assurance Applications
80% match

Design and Verification of Microprocessor Systems for High-Assurance Applications

Springer

£80.67 29 Aug 2026
The Complete Verilog Book
80% match

The Complete Verilog Book

Springer

£113.69 24 Oct 2026
SystemVerilog Verification Methodology Manual,
80% match

SystemVerilog Verification Methodology Manual,

Springer

£48.84 15 Sep 2026
Hardware Design and Petri Nets
79% match

Hardware Design and Petri Nets

Springer

£110.63 26 Oct 2026
System Synthesis with VHDL
79% match

System Synthesis with VHDL

Springer

£110.99 23 Oct 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
79% match

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Springer

£65.61 27 Oct 2026
Harnessing VLSI System Design with EDA Tools
79% match

Harnessing VLSI System Design with EDA Tools

Springer

£74.17 22 Oct 2026
High-Performance Digital VLSI Circuit Design: 338 (The Springer International Series in Engineering and Computer Science, 338)
79% match

High-Performance Digital VLSI Circuit Design: 338 (The Springer International Series in Engineering and Computer Science, 338)

Springer

£76.42 22 Oct 2026
The VHDL Handbook
79% match

The VHDL Handbook

Springer

£111.83 23 Oct 2026
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
79% match

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

Springer

£129.99 31 Oct 2026
Simulation in the Design of Digital Electronic Systems (Electronics Texts for Engineers and Scientists)
79% match

Simulation in the Design of Digital Electronic Systems (Electronics Texts for Engineers and Scientists)

Cambridge University Press

£98.66 24 Aug 2026
System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)
79% match

System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)

Springer

£75.68 24 Oct 2026
AI NPU System Design with Python and Verilog: Building from Scratch: A Complete Guide to Modeling, Custom ISA, Compiler, and FPGA Implementation
79% match

AI NPU System Design with Python and Verilog: Building from Scratch: A Complete Guide to Modeling, Custom ISA, Compiler, and FPGA Implementation

£43.81 15 Sep 2026
VLSI Design: A Practical Guide for FPGA and ASIC Implementations: 0 (SpringerBriefs in Electrical and Computer Engineering)
78% match

VLSI Design: A Practical Guide for FPGA and ASIC Implementations: 0 (SpringerBriefs in Electrical and Computer Engineering)

Springer

£52.43 21 Oct 2026
System level Hardware / Software Co-Design : An Industrial Approach
78% match

System level Hardware / Software Co-Design : An Industrial Approach

Springer

£124.32 15 Sep 2026
System Level Hardware/Software Co-Design: An Industrial Approach
78% match

System Level Hardware/Software Co-Design: An Industrial Approach

Springer

£113.93 23 Oct 2026
Advanced VLSI Technology: Technical Questions with Solutions (River Publishers Series in Circuits and Systems)
78% match

Advanced VLSI Technology: Technical Questions with Solutions (River Publishers Series in Circuits and Systems)

Taylor & Francis

£87.84 03 Nov 2026
Spezifikation, Simulation und Validierung von Prozessoren: Spezifikation auf einem hohen Abstraktionsniveau, modellbasiertes Testen, dynamische Validierung, Simulation
78% match

Spezifikation, Simulation und Validierung von Prozessoren: Spezifikation auf einem hohen Abstraktionsniveau, modellbasiertes Testen, dynamische Validierung, Simulation

Südwestdeutscher Verlag für Hochschulschriften

£43.00 14 Sep 2026