Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

The VAMP Memory Unit

Hardware Design and Formal Verification

Limba englezăengleză
Carte Carte broșată
Carte The VAMP Memory Unit Iakov Dalinger
Codul Libristo: 06818007
Editura VDM Verlag Dr. Müller, noiembrie 2008
This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§c... Descrierea completă
? points 121 b
262.05 lei
La editor doar la comandă Expediem în 17-27 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Bewertung und Besteuerung von Lift- und Schipistenentschädigungen Stefanie Rettenwander / Carte Carte broșată
common.buy 314.50 lei
Neue Aufbauprinzipien Metall-Organischer Frameworks Michael Hummel / Carte Carte broșată
common.buy 262.05 lei
Antígona SOFOCLES / Carte Carte broșată
common.buy 51.09 lei
Žlutá kniha pohádek / Carte Carte broșată
common.buy 27.05 lei
Alef-Thau 1 Arno / Carte Carte broșată
common.buy 129.98 lei
Dynamic Reconfiguration Jerry Trahan / Carte Copertă tare
common.buy 602.48 lei
Etude de la croissance dendritique du cuivre dans l'acide oxalique Elodie Ostermann / Carte Carte broșată
common.buy 390.58 lei
Factomule - Grand thriller politique international Øyvind TORSETER / Carte Copertă tare
common.buy 157.56 lei
Prostranstvenno-vremennoj kontinuum kul'tury Jeleonora Barkova / Carte Carte broșată
common.buy 394.85 lei
Rechtliches Wissen - Eine Einfuhrung in die Thematik des Buches von Alexander Somek Carina Danzer / Carte Carte broșată
common.buy 89.70 lei
Erinnerungen an Den Grafen Leo Tolstoi Eugen Schuyler / Carte Carte broșată
common.buy 65.04 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet The VAMP Memory Unit
Autor Iakov Dalinger, Artem Alekhin
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 116
EAN 9783639088793
Codul Libristo 06818007
Editura VDM Verlag Dr. Müller
Greutatea 189
Dimensiuni 150 x 220 x 7
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Three Essays on Aggregate Demand and Growth Gilberto Libanio / Carte Carte broșată
common.buy 314.50 lei
Dear God, Do Deadbeat Dads Go To Heaven? MS Kia Swain / Carte Carte broșată
common.buy 66.91 lei
Daughter of a Gun Kaori Tanegashima / Carte Carte broșată
common.buy 91.89 lei
Researching with Communities: Grounded Perspectives on Engaging Communities in Research Andy Williamson / Carte Carte broșată
common.buy 177.54 lei
Simulation Modeling of Forest Landscape Disturbances Ajith H. Perera / Carte Copertă tare
common.buy 569.38 lei
Top
Life Among the Savages Shirley Jackson / Carte Carte broșată
common.buy 79.71 lei
Top
My Best Games of Chess Alexander Alekhine / Carte Carte broșată
common.buy 149.34 lei
English Church Craftmanship - An Introduction To The Work Of The Medieval Period And Some Account Of Later Developments Fred H. Crossley / Carte Copertă tare
common.buy 169.01 lei
Murder Most Blonde M. J. Hatch / Carte Copertă tare
common.buy 181.39 lei
Dead Girls Speak In Unison Danielle Pafunda / Carte Carte broșată
common.buy 67.64 lei
From The Beginning Duane Andry / Carte Copertă tare
common.buy 199.19 lei
Taking Shelter From the Storm: Building a Safe Room Inside Your House Federal Emergency Management Agency / Carte Carte broșată
common.buy 81.48 lei
Robert Louis Stevenson's Treasure Island Pirated Kristina Jameson / Carte Carte broșată
common.buy 81.69 lei
NKJV, Thinline Bible Youth Edition, Leathersoft, Brown, Red Letter, Comfort Print Thomas Nelson / Carte Copertă tare
common.buy 107.08 lei
Al Capone JUST FOR LAUGHS John L D Barnett / Carte Carte broșată
common.buy 92.51 lei
Lustfully Ever After: An Erotic Author / Reader Romance Emma Jade / Carte Carte broșată
common.buy 52.03 lei
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 / Carte Carte broșată
common.buy 158.39 lei
Grimm's Fairy Tales Wilhelm Grimm / Carte Copertă tare
common.buy 73.05 lei
Pucking Wild Emily Rath / Carte Carte broșată
common.buy 54.63 lei
The Magic Pet Shop: Pugicorn to the Rescue Tim Budgen / Carte Carte broșată
common.buy 48.80 lei
Population Mental Health Neal Cohen / Carte Copertă tare
common.buy 1 236.19 lei
Clifford Algebras and the Classical Groups Ian R. Porteous / Carte Carte broșată
common.buy 492.37 lei
Leaders and International Conflict Giacomo Chiozza / Carte Carte broșată
common.buy 263.92 lei
Anthropologies Beth Alvarado / Carte Carte broșată
common.buy 100.32 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?