Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

The VAMP Memory Unit

Hardware Design and Formal Verification

Language EnglishEnglish
Book Paperback
Book The VAMP Memory Unit Iakov Dalinger
Libristo code: 06818007
Publishers VDM Verlag Dr. Müller, November 2008
This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§c... Full description
? points 121 b
50.02 €
Print on demand Shipping in 17-27 days

30-day return policy

Customers also purchased

Bewertung und Besteuerung von Lift- und Schipistenentschädigungen Stefanie Rettenwander / Book Paperback
common.buy 60.05 €
Neue Aufbauprinzipien Metall-Organischer Frameworks Michael Hummel / Book Paperback
common.buy 50.02 €
Antígona SOFOCLES / Book Paperback
common.buy 9.71 €
Žlutá kniha pohádek / Book Paperback
common.buy 5.16 €
Alef-Thau 1 Arno / Book Paperback
common.buy 24.80 €
Dynamic Reconfiguration Jerry Trahan / Book Hardback
common.buy 109.98 €
Etude de la croissance dendritique du cuivre dans l'acide oxalique Elodie Ostermann / Book Paperback
common.buy 70.48 €
Factomule - Grand thriller politique international Øyvind TORSETER / Book Hardback
common.buy 30.07 €
Prostranstvenno-vremennoj kontinuum kul'tury Jeleonora Barkova / Book Paperback
common.buy 71.19 €
Rechtliches Wissen - Eine Einfuhrung in die Thematik des Buches von Alexander Somek Carina Danzer / Book Paperback
common.buy 16.20 €
Erinnerungen an Den Grafen Leo Tolstoi Eugen Schuyler / Book Paperback
common.buy 11.74 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name The VAMP Memory Unit
Author Iakov Dalinger, Artem Alekhin
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 116
EAN 9783639088793
Libristo code 06818007
Publishers VDM Verlag Dr. Müller
Weight 189
Dimensions 150 x 220 x 7
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Three Essays on Aggregate Demand and Growth Gilberto Libanio / Book Paperback
common.buy 60.05 €
Dear God, Do Deadbeat Dads Go To Heaven? MS Kia Swain / Book Paperback
common.buy 12.14 €
Daughter of a Gun Kaori Tanegashima / Book Paperback
common.buy 16.50 €
Researching with Communities: Grounded Perspectives on Engaging Communities in Research Andy Williamson / Book Paperback
common.buy 35.74 €
Simulation Modeling of Forest Landscape Disturbances Ajith H. Perera / Book Hardback
common.buy 103.10 €
Top
Life Among the Savages Shirley Jackson / Book Paperback
common.buy 14.27 €
My Best Games of Chess Alexander Alekhine / Book Paperback
common.buy 26.83 €
English Church Craftmanship - An Introduction To The Work Of The Medieval Period And Some Account Of Later Developments Fred H. Crossley / Book Hardback
common.buy 30.78 €
Murder Most Blonde M. J. Hatch / Book Hardback
common.buy 33.21 €
Dead Girls Speak In Unison Danielle Pafunda / Book Paperback
common.buy 12.14 €
From The Beginning Duane Andry / Book Hardback
common.buy 39.90 €
Taking Shelter From the Storm: Building a Safe Room Inside Your House Federal Emergency Management Agency / Book Paperback
common.buy 14.78 €
Robert Louis Stevenson's Treasure Island Pirated Kristina Jameson / Book Paperback
common.buy 14.88 €
NKJV, Thinline Bible Youth Edition, Leathersoft, Brown, Red Letter, Comfort Print Thomas Nelson / Book Hardback
common.buy 19.23 €
Al Capone JUST FOR LAUGHS John L D Barnett / Book Paperback
common.buy 16.80 €
Lustfully Ever After: An Erotic Author / Reader Romance Emma Jade / Book Paperback
common.buy 9.41 €
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 / Book Paperback
common.buy 28.86 €
Grimm's Fairy Tales Wilhelm Grimm / Book Hardback
common.buy 13.06 €
Pucking Wild Emily Rath / Book Paperback
common.buy 9.71 €
The Magic Pet Shop: Pugicorn to the Rescue Tim Budgen / Book Paperback
common.buy 8.70 €
Population Mental Health Neal Cohen / Book Hardback
common.buy 246.72 €
Clifford Algebras and the Classical Groups Ian R. Porteous / Book Paperback
common.buy 89.83 €
Leaders and International Conflict Giacomo Chiozza / Book Paperback
common.buy 48.20 €
Anthropologies Beth Alvarado / Book Paperback
common.buy 18.12 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?