Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

The VAMP Memory Unit

Hardware Design and Formal Verification

Taal EngelsEngels
Boek Gebonden (paperback)
Boek The VAMP Memory Unit Iakov Dalinger
Libristo-code: 06818007
Uitgeverij 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... Volledige beschrijving
? points 127 b
52.66 €
Te bestellen bij de uitgever Wordt binnen 17-27 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam The VAMP Memory Unit
Auteur Iakov Dalinger, Artem Alekhin
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 116
EAN 9783639088793
Libristo-code 06818007
Uitgeverij VDM Verlag Dr. Müller
Gewicht 189
Afmetingen 150 x 220 x 7
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

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

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?