«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

The VAMP Memory Unit

Hardware Design and Formal Verification

Idioma InglésInglés
Libro Tapa blanda
Libro The VAMP Memory Unit Iakov Dalinger
Código Libristo: 06818007
Editores VDM Verlag Dr. Müller, noviembre 2008
This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§c... Descripción completa
? points 130 b
52.99 €
Por encargo a la editorial Envío en 17-27 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Bewertung und Besteuerung von Lift- und Schipistenentschädigungen Stefanie Rettenwander / Libro Tapa blanda
common.buy 63.59 €
Neue Aufbauprinzipien Metall-Organischer Frameworks Michael Hummel / Libro Tapa blanda
common.buy 52.99 €
Žlutá kniha pohádek / Libro Tapa blanda
common.buy 5.59 €
Antígona SOFOCLES / Libro Tapa blanda
common.buy 9.95 €
Alef-Thau 1 Arno / Libro Tapa blanda
common.buy 23.79 €
Dynamic Reconfiguration Jerry Trahan / Libro Tapa dura
common.buy 119.09 €
Etude de la croissance dendritique du cuivre dans l'acide oxalique Elodie Ostermann / Libro Tapa blanda
common.buy 77.69 €
hcm 68 la fin de l'esclavage / Libro Tapa blanda
common.buy 11.59 €
Factomule - Grand thriller politique international Øyvind TORSETER / Libro Tapa dura
common.buy 30.19 €
Erinnerungen an Den Grafen Leo Tolstoi Eugen Schuyler / Libro Tapa blanda
common.buy 12.89 €
Prostranstvenno-vremennoj kontinuum kul'tury Jeleonora Barkova / Libro Tapa blanda
common.buy 78.59 €
Rechtliches Wissen - Eine Einfuhrung in die Thematik des Buches von Alexander Somek Carina Danzer / Libro Tapa blanda
common.buy 17.89 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos The VAMP Memory Unit
Autor Iakov Dalinger, Artem Alekhin
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 116
EAN 9783639088793
Código Libristo 06818007
Editores VDM Verlag Dr. Müller
Peso 189
Dimensiones 150 x 220 x 7
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Three Essays on Aggregate Demand and Growth Gilberto Libanio / Libro Tapa blanda
common.buy 63.59 €
Taking Shelter From the Storm: Building a Safe Room Inside Your House Federal Emergency Management Agency / Libro Tapa blanda
common.buy 15.39 €
Researching with Communities: Grounded Perspectives on Engaging Communities in Research Andy Williamson / Libro Tapa blanda
common.buy 37.89 €
From The Beginning Duane Andry / Libro Tapa dura
common.buy 41.99 €
Simulation Modeling of Forest Landscape Disturbances Ajith H. Perera / Libro Tapa dura
common.buy 112.79 €
Popular
Life Among the Savages Shirley Jackson / Libro Tapa blanda
common.buy 14.99 €
Popular
My Best Games of Chess Alexander Alekhine / Libro Tapa blanda
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 / Libro Tapa dura
common.buy 31.89 €
Murder Most Blonde M. J. Hatch / Libro Tapa dura
common.buy 34.19 €
Dead Girls Speak In Unison Danielle Pafunda / Libro Tapa blanda
common.buy 12.69 €
Dear God, Do Deadbeat Dads Go To Heaven? MS Kia Swain / Libro Tapa blanda
common.buy 12.59 €
Clifford Algebras and the Classical Groups Ian R. Porteous / Libro Tapa blanda
common.buy 92.79 €
Robert Louis Stevenson's Treasure Island Pirated Kristina Jameson / Libro Tapa blanda
common.buy 15.39 €
NKJV, Thinline Bible Youth Edition, Leathersoft, Brown, Red Letter, Comfort Print Thomas Nelson / Libro Tapa dura
common.buy 20.69 €
Al Capone JUST FOR LAUGHS John L D Barnett / Libro Tapa blanda
common.buy 17.39 €
Lustfully Ever After: An Erotic Author / Reader Romance Emma Jade / Libro Tapa blanda
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 / Libro Tapa blanda
common.buy 29.89 €
Grimm's Fairy Tales Wilhelm Grimm / Libro Tapa dura
common.buy 14.69 €
Popular
Pucking Wild Emily Rath / Libro Tapa blanda
common.buy 10.99 €
Pride and Prejudice Tote Bag / Artículos de papelería Artículos de papelería
common.buy 19.39 €
The Magic Pet Shop: Pugicorn to the Rescue Tim Budgen / Libro Tapa blanda
common.buy 10.49 €
Leaders and International Conflict Giacomo Chiozza / Libro Tapa blanda
common.buy 49.79 €
Anthropologies Beth Alvarado / Libro Tapa blanda
common.buy 19.89 €
Próximamente
Chattahoochee Album Fred C. Fussell / Libro Tapa blanda
common.buy 31.99 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?