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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

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 127 b
51.99 € VAT included
Print on demand Shipping in 17-27 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Bewertung und Besteuerung von Lift- und Schipistenentschädigungen Stefanie Rettenwander / Book Paperback
common.buy 62.29 €
Neue Aufbauprinzipien Metall-Organischer Frameworks Michael Hummel / Book Paperback
common.buy 51.99 €
Žlutá kniha pohádek / Book Paperback
common.buy 5.39 €
Antígona SOFOCLES / Book Paperback
common.buy 10.09 €
Alef-Thau 1 Arno / Book Paperback
common.buy 25.69 €
Dynamic Reconfiguration Jerry Trahan / Book Hardback
common.buy 114.19 €
Etude de la croissance dendritique du cuivre dans l'acide oxalique Elodie Ostermann / Book Paperback
common.buy 73.59 €
hcm 68 la fin de l'esclavage / Book Paperback
common.buy 11.99 €
Factomule - Grand thriller politique international Øyvind TORSETER / Book Hardback
common.buy 30.99 €
Erinnerungen an Den Grafen Leo Tolstoi Eugen Schuyler / Book Paperback
common.buy 12.90 €
Prostranstvenno-vremennoj kontinuum kul'tury Jeleonora Barkova / Book Paperback
common.buy 74.39 €
Rechtliches Wissen - Eine Einfuhrung in die Thematik des Buches von Alexander Somek Carina Danzer / Book Paperback
common.buy 17.95 €

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 62.29 €
Taking Shelter From the Storm: Building a Safe Room Inside Your House Federal Emergency Management Agency / Book Paperback
common.buy 15.39 €
Researching with Communities: Grounded Perspectives on Engaging Communities in Research Andy Williamson / Book Paperback
common.buy 37.19 €
From The Beginning Duane Andry / Book Hardback
common.buy 41.29 €
Simulation Modeling of Forest Landscape Disturbances Ajith H. Perera / Book Hardback
common.buy 107.29 €
Top
Life Among the Savages Shirley Jackson / Book Paperback
common.buy 14.99 €
Top
My Best Games of Chess Alexander Alekhine / Book Paperback
common.buy 28.19 €
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 31.89 €
Murder Most Blonde M. J. Hatch / Book Hardback
common.buy 34.19 €
Dead Girls Speak In Unison Danielle Pafunda / Book Paperback
common.buy 12.69 €
Dear God, Do Deadbeat Dads Go To Heaven? MS Kia Swain / Book Paperback
common.buy 12.59 €
Clifford Algebras and the Classical Groups Ian R. Porteous / Book Paperback
common.buy 92.79 €
Robert Louis Stevenson's Treasure Island Pirated Kristina Jameson / Book Paperback
common.buy 15.39 €
NKJV, Thinline Bible Youth Edition, Leathersoft, Brown, Red Letter, Comfort Print Thomas Nelson / Book Hardback
common.buy 20.19 €
Al Capone JUST FOR LAUGHS John L D Barnett / Book Paperback
common.buy 17.39 €
Lustfully Ever After: An Erotic Author / Reader Romance Emma Jade / Book Paperback
common.buy 9.79 €
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 29.89 €
Grimm's Fairy Tales Wilhelm Grimm / Book Hardback
common.buy 13.79 €
Top
Pucking Wild Emily Rath / Book Paperback
common.buy 10.29 €
Pride and Prejudice Tote Bag / Stationery items Stationery items
common.buy 18.29 €
The Magic Pet Shop: Pugicorn to the Rescue Tim Budgen / Book Paperback
common.buy 10.49 €
Leaders and International Conflict Giacomo Chiozza / Book Paperback
common.buy 49.79 €
Anthropologies Beth Alvarado / Book Paperback
common.buy 18.89 €
Coming soon
Chattahoochee Album Fred C. Fussell / Book Paperback
common.buy 31.29 €

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?