£42.99

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

Price data last checked 10 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£43 today · previous high £43 · all-time low £41

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 History & Forecast

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

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

Historical
Generating forecast…
£42.99 £40.55 £41.08 £41.61 £42.15 £42.68 £43.21 04 July 2026 22 July 2026 09 August 2026 27 August 2026 14 September 2026

Price Distribution

Price distribution over 73 days • 2 price levels

Days at Price
Current Price
19 days 54 days · current 0 14 27 41 54 £41 £43 Days at Price

Price Analysis

Most common price: £43 (54 days, 74.0%)

Price range: £41 - £43

Price levels: 2 different prices over 73 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

£82.51 07 Aug 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

£144.90 03 Aug 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 06 Aug 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

£108.01 07 Aug 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

£108.01 08 Aug 2026
System Synthesis with VHDL
79% match

System Synthesis with VHDL

Springer

£108.01 06 Aug 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 08 Aug 2026
Harnessing VLSI System Design with EDA Tools
79% match

Harnessing VLSI System Design with EDA Tools

Springer

£74.46 05 Aug 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 05 Aug 2026
The VHDL Handbook
79% match

The VHDL Handbook

Springer

£110.94 06 Aug 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 13 Aug 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 06 Aug 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 04 Aug 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

£108.01 06 Aug 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.29 17 Aug 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