Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

The VAMP Memory Unit

Hardware Design and Formal Verification

Język AngielskiAngielski
Książka Miękka
Książka The VAMP Memory Unit Iakov Dalinger
Kod Libristo: 06818007
Wydawnictwo VDM Verlag Dr. Müller, listopad 2008
This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§c... Cały opis
? points 121 b
211.91 zł
Na zamówienie Wysyłamy za 17-27 dni

30 dni na zwrot towaru

Klienci kupili także

Bewertung und Besteuerung von Lift- und Schipistenentschädigungen Stefanie Rettenwander / Książka Miękka
common.buy 254.40 zł
Neue Aufbauprinzipien Metall-Organischer Frameworks Michael Hummel / Książka Miękka
common.buy 211.91 zł
Rechtliches Wissen - Eine Einfuhrung in die Thematik des Buches von Alexander Somek Carina Danzer / Książka Miękka
common.buy 68.69 zł
Factomule - Grand thriller politique international Øyvind TORSETER / Książka Twarda
common.buy 127.45 zł
Dynamic Reconfiguration Jerry Trahan / Książka Twarda
common.buy 466.12 zł
Žlutá kniha pohádek / Książka Miękka
common.buy 20.48 zł
Antígona SOFOCLES / Książka Miękka
common.buy 41.37 zł
Alef-Thau 1 Arno / Książka Miękka
common.buy 105.15 zł
Etude de la croissance dendritique du cuivre dans l'acide oxalique Elodie Ostermann / Książka Miękka
common.buy 298.59 zł
Prostranstvenno-vremennoj kontinuum kul'tury Jeleonora Barkova / Książka Miękka
common.buy 301.71 zł
Erinnerungen an Den Grafen Leo Tolstoi Eugen Schuyler / Książka Miękka
common.buy 49.61 zł
hcm 68 la fin de l'esclavage / Książka Miękka
common.buy 49.20 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa The VAMP Memory Unit
Autor Iakov Dalinger, Artem Alekhin
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 116
EAN 9783639088793
Kod Libristo 06818007
Wydawnictwo VDM Verlag Dr. Müller
Waga 189
Wymiary 150 x 220 x 7
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Three Essays on Aggregate Demand and Growth Gilberto Libanio / Książka Miękka
common.buy 254.40 zł
Dear God, Do Deadbeat Dads Go To Heaven? MS Kia Swain / Książka Miękka
common.buy 51.51 zł
Researching with Communities: Grounded Perspectives on Engaging Communities in Research Andy Williamson / Książka Miękka
common.buy 135.68 zł
From The Beginning Duane Andry / Książka Twarda
common.buy 153.06 zł
Simulation Modeling of Forest Landscape Disturbances Ajith H. Perera / Książka Twarda
common.buy 436.90 zł
TOP
Life Among the Savages Shirley Jackson / Książka Miękka
common.buy 60.65 zł
TOP
My Best Games of Chess Alexander Alekhine / Książka Miękka
common.buy 113.59 zł
English Church Craftmanship - An Introduction To The Work Of The Medieval Period And Some Account Of Later Developments Fred H. Crossley / Książka Twarda
common.buy 130.46 zł
Murder Most Blonde M. J. Hatch / Książka Twarda
common.buy 140.90 zł
Dead Girls Speak In Unison Danielle Pafunda / Książka Miękka
common.buy 51.51 zł
Clifford Algebras and the Classical Groups Ian R. Porteous / Książka Miękka
common.buy 380.75 zł
Taking Shelter From the Storm: Building a Safe Room Inside Your House Federal Emergency Management Agency / Książka Miękka
common.buy 62.76 zł
Robert Louis Stevenson's Treasure Island Pirated Kristina Jameson / Książka Miękka
common.buy 62.96 zł
NKJV, Thinline Bible Youth Edition, Leathersoft, Brown, Red Letter, Comfort Print Thomas Nelson / Książka Twarda
common.buy 81.34 zł
Al Capone JUST FOR LAUGHS John L D Barnett / Książka Miękka
common.buy 71.30 zł
Lustfully Ever After: An Erotic Author / Reader Romance Emma Jade / Książka Miękka
common.buy 39.96 zł
The Cutty Sark, The Last Of The Famous Tea Clippers V2: Describing The Masts, Spars And Rigging Of A Scale Model, And Including The Builder's Specific C. Nepean Longridge / Książka Miękka
common.buy 122.22 zł
Grimm's Fairy Tales Wilhelm Grimm / Książka Twarda
common.buy 55.23 zł
Pucking Wild Emily Rath / Książka Miękka
common.buy 41.37 zł
The Magic Pet Shop: Pugicorn to the Rescue Tim Budgen / Książka Miękka
common.buy 36.95 zł
Relig Ord Islam:Orientalsm V 4 Edward Sell / Książka Twarda
common.buy 2 241.37 zł
Philosophy of Freedom Rudolf Steiner / Książka Twarda
common.buy 152.35 zł
MRSA John Weigelt / Książka Miękka
common.buy 310.34 zł
BizTalk Server 2002 Design and Implementation Xin Chen / Książka Miękka
common.buy 191.63 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?