
Higher Order Logic and Hardware Verification
309 kr.
309 kr.
På lager
Tors., 22 maj - ons., 28 maj
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.
5a55bf49-157a-4692-a2d4-70a70f6e6bae
Higher Order Logic and Hardware Verification
309 kr.
309 kr.
På lager
Tors., 22 maj - ons., 28 maj
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
539 kr.
4,3
torsdag, 15 maj

Timer til Klasselokalet - 60 minutter
169 kr.
4,0
torsdag, 22 maj

-16 %
FENCHILIIN Hollywood Makeup Spejl Med Lys 360° drejelig dæmpbar med tre lystilstande bordplade Spejl hvid 65 x 49 cm
439 kr.
Tidligere laveste pris:
521 kr.
4,6
torsdag, 15 maj

FENCHILIIN Hollywood stort makeup spejl med lamper bordplade vægmonteret hvid spejl med lys
479 kr.
4,3
torsdag, 15 maj

-16 %
FENCHILIIN Hollywood makeup spejl med lys forstørrelse 360° drejelig bordplade hvid spejl 30 x 41 cm
279 kr.
Tidligere laveste pris:
331 kr.
4,6
torsdag, 15 maj

Silikonetape / Plaster til Ar – Behandling af ar
69 kr.
2,0
torsdag, 22 maj

FENCHILIIN hollywood spejl makeup spejl med lys dæmpbar med tre lystilstande bordplade vægbeslag make up spejl med belysning hvid 58 x 46cm
621 kr.
4,6
torsdag, 15 maj

G4 Halogenpærer / Stiftpærer - Halogen 10W (10-Pack)
69 kr.
4,2
torsdag, 22 maj

94 CM 3 X Plæneklipperknive til Husqvarna RIDER R213 R214 R215 R216 R316 R318 R320 AWD
265 kr.
4,2
torsdag, 15 maj

Lader til iPhone - Hurtiglader - Adapter + Kabel 20W USB-C 3-Pack iPhone
179 kr.
4,0
mandag, 19 maj
Anbefalede produkter

FENCHILIIN Hollywood Makeup Spejl med lys Bluetooth Table Top vægbeslag hvid 58 x 46 cm
585 kr.
4,5
torsdag, 15 maj

Röhnö hængetelt, Blå
390 kr.
5,0
tirsdag, 20 maj

-18 %
40" Foldbar Fitness Trampolin
449 kr.
Tidligere laveste pris:
549 kr.
4,7
fredag, 23 maj

FENCHILIIN Stor Hollywood Makeup Spejl med lys USB bordplade vægbeslag hvid 80 x 58 cm
961 kr.
4,6
torsdag, 15 maj

-14 %
Scart til HDMI konverter 1080P
49 kr.
Tidligere laveste pris:
57 kr.
4,2
mandag, 26 maj

-34 %
FENCHILIIN Stor Hollywood Makeup Spejl med lys Bluetooth Krystal Finish Bordplade Vægbeslag Hvid 80 x 58 cm Spejl
521 kr.
Tidligere laveste pris:
795 kr.
4,0
torsdag, 15 maj

Ørepuder til Bose QuietComfort - QC35/QC25/QC15/AE2 Hovedtelefoner Svart
69 kr.
4,5
torsdag, 22 maj

Ersättningsfjärrkontroll för Chromecast Google TV G9N9N
79 kr.
3,1
tirsdag, 20 maj

3-pak AGA AQVIA PET-flaske, 1L (hvid)
159 kr.
4,3
mandag, 19 maj

-30 %
INF Trimmerspoler Black & Decker GL4525, GL5028, GLC1423L, GLC1825L græstrimmer
111 kr.
Tidligere laveste pris:
158 kr.
4,7
torsdag, 15 maj