Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

The VAMP Memory Unit

Hardware Design and Formal Verification

Език Английски езикАнглийски език
Книга С меки корици
Книга The VAMP Memory Unit Iakov Dalinger
Код Либристо: 06818007
Издателство VDM Verlag Dr. Müller, ноември 2008
This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§c... Цялото описание
? points 127 b
52.61 €
102.89  лв
Налично при издателя, по поръчка Изпращаме след 17-27 дни

30 дни за връщане на стоката

Клиентите са закупили също

Bewertung und Besteuerung von Lift- und Schipistenentschädigungen Stefanie Rettenwander / Книга С меки корици
common.buy 63.12 € 123.45 лв
Neue Aufbauprinzipien Metall-Organischer Frameworks Michael Hummel / Книга С меки корици
common.buy 52.61 € 102.89 лв
Antígona SOFOCLES / Книга С меки корици
common.buy 10.25 € 20.04 лв
Žlutá kniha pohádek / Книга С меки корици
common.buy 5.48 € 10.73 лв
Alef-Thau 1 Arno / Книга С меки корици
common.buy 26.04 € 50.94 лв
Dynamic Reconfiguration Jerry Trahan / Книга С твърди корици
common.buy 115.06 € 225.04 лв
Etude de la croissance dendritique du cuivre dans l'acide oxalique Elodie Ostermann / Книга С меки корици
common.buy 74.57 € 145.84 лв
Factomule - Grand thriller politique international Øyvind TORSETER / Книга С твърди корици
common.buy 31.38 € 61.37 лв
Prostranstvenno-vremennoj kontinuum kul'tury Jeleonora Barkova / Книга С меки корици
common.buy 75.39 € 147.46 лв
Rechtliches Wissen - Eine Einfuhrung in die Thematik des Buches von Alexander Somek Carina Danzer / Книга С меки корици
common.buy 17.14 € 33.51 лв
Erinnerungen an Den Grafen Leo Tolstoi Eugen Schuyler / Книга С меки корици
common.buy 12.42 € 24.30 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие The VAMP Memory Unit
Автор Iakov Dalinger, Artem Alekhin
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2009
Брой страници 116
Баркод 9783639088793
Код Либристо 06818007
Издателство VDM Verlag Dr. Müller
Тегло 189
Размери 150 x 220 x 7
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Three Essays on Aggregate Demand and Growth Gilberto Libanio / Книга С меки корици
common.buy 63.12 € 123.45 лв
Dear God, Do Deadbeat Dads Go To Heaven? MS Kia Swain / Книга С меки корици
common.buy 12.16 € 23.79 лв
Daughter of a Gun Kaori Tanegashima / Книга С меки корици
common.buy 16.51 € 32.30 лв
Researching with Communities: Grounded Perspectives on Engaging Communities in Research Andy Williamson / Книга С меки корици
common.buy 35.78 € 69.98 лв
Simulation Modeling of Forest Landscape Disturbances Ajith H. Perera / Книга С твърди корици
common.buy 108.69 € 212.58 лв
Top
Life Among the Savages Shirley Jackson / Книга С меки корици
common.buy 14.29 € 27.94 лв
My Best Games of Chess Alexander Alekhine / Книга С меки корици
common.buy 24.49 € 47.90 лв
English Church Craftmanship - An Introduction To The Work Of The Medieval Period And Some Account Of Later Developments Fred H. Crossley / Книга С твърди корици
common.buy 30.81 € 60.25 лв
Murder Most Blonde M. J. Hatch / Книга С твърди корици
common.buy 33.24 € 65.01 лв
Dead Girls Speak In Unison Danielle Pafunda / Книга С меки корици
common.buy 12.16 € 23.79 лв
From The Beginning Duane Andry / Книга С твърди корици
common.buy 39.92 € 78.08 лв
Taking Shelter From the Storm: Building a Safe Room Inside Your House Federal Emergency Management Agency / Книга С меки корици
common.buy 14.81 € 28.96 лв
Robert Louis Stevenson's Treasure Island Pirated Kristina Jameson / Книга С меки корици
common.buy 14.86 € 29.06 лв
NKJV, Thinline Bible Youth Edition, Leathersoft, Brown, Red Letter, Comfort Print Thomas Nelson / Книга С твърди корици
common.buy 20.45 € 40.00 лв
Al Capone JUST FOR LAUGHS John L D Barnett / Книга С меки корици
common.buy 16.83 € 32.91 лв
Lustfully Ever After: An Erotic Author / Reader Romance Emma Jade / Книга С меки корици
common.buy 9.42 € 18.42 лв
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 / Книга С меки корици
common.buy 28.84 € 56.40 лв
Grimm's Fairy Tales Wilhelm Grimm / Книга С твърди корици
common.buy 13.93 € 27.24 лв
Pucking Wild Emily Rath / Книга С меки корици
common.buy 10.40 € 20.35 лв
The Magic Pet Shop: Pugicorn to the Rescue Tim Budgen / Книга С меки корици
common.buy 9.32 € 18.22 лв
Population Mental Health Neal Cohen / Книга С твърди корици
common.buy 246.75 € 482.61 лв
Clifford Algebras and the Classical Groups Ian R. Porteous / Книга С меки корици
common.buy 89.89 € 175.82 лв
Leaders and International Conflict Giacomo Chiozza / Книга С меки корици
common.buy 48.16 € 94.18 лв
Anthropologies Beth Alvarado / Книга С меки корици
common.buy 19.67 € 38.48 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?