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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,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 121 b
49.94 €
Te bestellen bij de uitgever Wordt binnen 17-27 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Bewertung und Besteuerung von Lift- und Schipistenentschädigungen Stefanie Rettenwander / Boek Gebonden (paperback)
common.buy 59.95 €
Neue Aufbauprinzipien Metall-Organischer Frameworks Michael Hummel / Boek Gebonden (paperback)
common.buy 49.94 €
Žlutá kniha pohádek / Boek Gebonden (paperback)
common.buy 5.15 €
Antígona SOFOCLES / Boek Gebonden (paperback)
common.buy 9.70 €
Alef-Thau 1 Arno / Boek Gebonden (paperback)
common.buy 24.76 €
Dynamic Reconfiguration Jerry Trahan / Boek Gebonden (harde band)
common.buy 110.41 €
Etude de la croissance dendritique du cuivre dans l'acide oxalique Elodie Ostermann / Boek Gebonden (paperback)
common.buy 70.37 €
hcm 68 la fin de l'esclavage / Boek Gebonden (paperback)
common.buy 11.62 €
Factomule - Grand thriller politique international Øyvind TORSETER / Boek Gebonden (harde band)
common.buy 30.12 €
Erinnerungen an Den Grafen Leo Tolstoi Eugen Schuyler / Boek Gebonden (paperback)
common.buy 11.72 €
Prostranstvenno-vremennoj kontinuum kul'tury Jeleonora Barkova / Boek Gebonden (paperback)
common.buy 71.07 €
Rechtliches Wissen - Eine Einfuhrung in die Thematik des Buches von Alexander Somek Carina Danzer / Boek Gebonden (paperback)
common.buy 16.17 €

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 59.95 €
Taking Shelter From the Storm: Building a Safe Room Inside Your House Federal Emergency Management Agency / Boek Gebonden (paperback)
common.buy 14.75 €
Researching with Communities: Grounded Perspectives on Engaging Communities in Research Andy Williamson / Boek Gebonden (paperback)
common.buy 35.68 €
From The Beginning Duane Andry / Boek Gebonden (harde band)
common.buy 39.83 €
Simulation Modeling of Forest Landscape Disturbances Ajith H. Perera / Boek Gebonden (harde band)
common.buy 102.93 €
TOP
Life Among the Savages Shirley Jackson / Boek Gebonden (paperback)
common.buy 14.25 €
TOP
My Best Games of Chess Alexander Alekhine / Boek Gebonden (paperback)
common.buy 26.79 €
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.73 €
Murder Most Blonde M. J. Hatch / Boek Gebonden (harde band)
common.buy 33.16 €
Dead Girls Speak In Unison Danielle Pafunda / Boek Gebonden (paperback)
common.buy 12.12 €
Dear God, Do Deadbeat Dads Go To Heaven? MS Kia Swain / Boek Gebonden (paperback)
common.buy 12.12 €
Clifford Algebras and the Classical Groups Ian R. Porteous / Boek Gebonden (paperback)
common.buy 89.68 €
Robert Louis Stevenson's Treasure Island Pirated Kristina Jameson / Boek Gebonden (paperback)
common.buy 14.85 €
NKJV, Thinline Bible Youth Edition, Leathersoft, Brown, Red Letter, Comfort Print Thomas Nelson / Boek Gebonden (harde band)
common.buy 19.20 €
Al Capone JUST FOR LAUGHS John L D Barnett / Boek Gebonden (paperback)
common.buy 16.78 €
Lustfully Ever After: An Erotic Author / Reader Romance Emma Jade / Boek Gebonden (paperback)
common.buy 9.39 €
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.81 €
Grimm's Fairy Tales Wilhelm Grimm / Boek Gebonden (harde band)
common.buy 13.03 €
TOP
Pucking Wild Emily Rath / Boek Gebonden (paperback)
common.buy 9.70 €
Pride and Prejudice Tote Bag / Schrijfwaren Schrijfwaren
common.buy 17.18 €
The Magic Pet Shop: Pugicorn to the Rescue Tim Budgen / Boek Gebonden (paperback)
common.buy 8.69 €
Leaders and International Conflict Giacomo Chiozza / Boek Gebonden (paperback)
common.buy 48.12 €
Anthropologies Beth Alvarado / Boek Gebonden (paperback)
common.buy 18.60 €
Wordt verwacht
Chattahoochee Album Fred C. Fussell / Boek Gebonden (paperback)
common.buy 30.02 €

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?