Winter deals - Sidste chance!

Winter deals - Sidste chance!

Fri fragt over 299kr
Fri fragt over 299kr
Kundeservice
Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification

950 kr.

950 kr.

På lager

Tors., 6 feb. - ons., 12 feb.


Sikker betaling

14 dages åbent køb


Sælges og leveres af

Adlibris


Produktbeskrivelse

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.

Varenr.

425ee686-633a-4aec-85ae-4b589c3a1e01

Higher Order Logic and Hardware Verification

950 kr.

950 kr.

På lager

Tors., 6 feb. - ons., 12 feb.


Sikker betaling

14 dages åbent køb


Sælges og leveres af

Adlibris



Lignende topsælgere

Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
Bright Beauty

Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande

599 kr.

4,5(72)
onsdag, 15 jan.
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
Bright Beauty Vanity

Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande

659 kr.

4,3(897)
onsdag, 15 jan.
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande - roterbar
Bright Beauty Vanity

Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande - roterbar

549 kr.

4,1(45)
onsdag, 15 jan.
2-i-1 foldeløbebånd, elektrisk løbebånd under skrivebordet, jogging til hjemmekontoret Sort
Bigzzia

2-i-1 foldeløbebånd, elektrisk løbebånd under skrivebordet, jogging til hjemmekontoret Sort

1.549 kr.

4,2(295)
torsdag, 23 jan.
Timer til Klasselokalet - 60 minutter
Generic

Timer til Klasselokalet - 60 minutter

169 kr.

4,2(55)
onsdag, 22 jan.
FENCHILIIN Stor Hollywood Makeup Spejl med lys USB bordplade vægbeslag hvid 80 x 58 cm
Fenchilin

FENCHILIIN Stor Hollywood Makeup Spejl med lys USB bordplade vægbeslag hvid 80 x 58 cm

961 kr.

4,5(164)
onsdag, 15 jan.
Sammenfoldelig justerbar vægtbænk, 660 LB kapacitet - Kompakt og sammenfoldelig vægtbænk til hjemmegymnastik, fuld kropstræning B
Rattrix

Sammenfoldelig justerbar vægtbænk, 660 LB kapacitet - Kompakt og sammenfoldelig vægtbænk til hjemmegymnastik, fuld kropstræning B

549 kr.

5,0(1)
onsdag, 22 jan.
RCA AV till HDMI Converter / Adapter 1080P Universal White
A Series

RCA AV till HDMI Converter / Adapter 1080P Universal White

79 kr.

Tidligere laveste pris:

99 kr.

5,0(2)
tirsdag, 14 jan.
Ersättningsfjärrkontroll för Chromecast Google TV G9N9N
Remote TV

Ersättningsfjärrkontroll för Chromecast Google TV G9N9N

89 kr.

Tidligere laveste pris:

99 kr.

3,0(6)
mandag, 20 jan.
Nintendo Wii til HDMI Adapter 1080p Full-HD
Best Trade

Nintendo Wii til HDMI Adapter 1080p Full-HD

47 kr.

4,4(37)
fredag, 24 jan.