Kapcsolat
Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Angol
121 b
Akár 30 napos visszaküldési lehetőség
A vásárlók ilyet vásároltak
/
Puha kötésű
21 649
Ft
/
Puha kötésű
6 385
Ft
/
Puha kötésű
27 785
Ft
This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§carried out in [Dal06]. The new design of the MU,§developed here, contains translation look-aside§buffers (TLB) for fast virtual address translation§inside the memory management units (MMU) and supports§accesses to external devices.§A computer-aided verification tool used throughout§the whole work is an interactive theorem prover§Isabelle/HOL bound [Tve05] with the NuSMV [CCG+02]§and SMV [McM99] model checkers. The results§(correctness proofs and models of hardware blocks)§are presented as Isabelle mathematical theories. The§work is described formally and paper-and-pencil§proofs are provided.
Információ a könyvről
Angol
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
/
Puha kötésű
5 773
Ft
/
Puha kötésű
12 907
Ft
/
Kemény kötésű
11 952
Ft
/
Kemény kötésű
7 444
Ft
/
Puha kötésű
11 203
Ft
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?