Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Verification formelle de la plate-forme javacard

Name: Verification formelle de la plate-forme javacard
Brand: Omniscriptum
SKU: 07008440
Price: 67.69 EUR
Availability: InStock
Author: Melo de Sousa-S
ISBN: 9786131539312

Melo de Sousa-S

Sprache

Französisch

Buch Broschur

Libristo-Code: 07008440

Verlag Omniscriptum, Februar 2018

La vérification du bytecode est l'une des pičces maîtresses de la sécurité de l'architecture JavaCar... Vollständige Beschreibung

Libristo-Code: 07008440

166 b

67.69 € inkl. MwSt.

Externes Lager Wir versenden in 8-11 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Visual Arts in the Worshiping Church Lisa Deboer

Broschur

25.49 €

Journey to the Heart Melody Beattie

Adobe ePub DRM

8.29 €

Simplemente mágico MARY BALOGH

Broschur

6.99 €

Thirteen Heavens Fishman

Broschur

19.79 €

Relatorio anual - 2019 - Transplante de Figado do Hospital do Rocio. Fábio Silveira

Broschur

13.29 €

The Girl Scouts Of The Round Table (1921) Margaret Vandercook

Broschur

27.79 €

Sanshiro Mint Editions

Broschur

8.69 €

My Book of Numbers 1-30 (Revised Edition) KUMON PUBLISHING

Broschur

7.99 €

Chiptin El Cientifico Anti Drogas David Francisco Camargo Hernández

Broschur

35.19 €

LA PARABOLA DE LOS TALENTOS BUTLER

Hardcover

24.39 €

Žensko tijelo, ženska mudrost (prošireno izdanje) Christiane Northrup

Broschur

36.69 €

Conversational Yiddish Quick and Easy: The Most Innovative Technique to Learn the Yiddish Language Yatir Nitzany

Broschur

5.09 €

Collected Works for Guitar Vol. 7 Erik Stenstadvold

Noten

29.39 €

Reich mit Aktien mit System Philip A. Fisher

Broschur

29.90 €

Unsere Märchen und unsere Biologie Willi Bungartz

Hardcover

23.71 €

Фонтаны под дождем Юкио Мисима

Hardcover

19.19 €

Hot Mess

Hardcover

27.89 €

The Hungry History of Sharks Andressa Meissner

Broschur

12.79 €

A Practical Guide to Structure Determination in Organic Chemistry James S. O. McCullagh

Broschur

52.69 €

Skromné jídlo - Jak jíst lépe a utratit méně, 120 snadných receptů plných chuti Hanka Michopulu

Hardcover

15.79 €

HORMONE SHIFT BHATIA TASNEEM

Broschur

15.29 €

MNZ - Kuba Nostalgie

Spiel

39.79 €

Ishmaelite Indeed. [A Novel.] Britiffe Constable Skottowe

Broschur

22.49 €

"Oma!", schreit der Frieder Gudrun Mebs

Broschur

7.79 €

La vérification du bytecode est l'une des pičces maîtresses de la sécurité de l'architecture JavaCard. Sa correction est souvent formulée en utilisant les notions de machine virtuelle défensive et de machine virtuelle offensive. La machine virtuelle défensive vérifie la cohérence des données manipulées pendant l'exécution alors que la machine offensive ne fait pas de telles vérifications. La correction est ainsi établie en vérifiant que l'exécution de programmes qui ont passé avec succčs la vérification de bytecode, sur les deux machines, coďncide. Dans cet ouvrage nous décrirons comment sont spécifiées de telles machines virtuelles et comment sont définis de tels énoncés de correction dans les assistants de preuve. Nous nous concentrerons en particulier sur le problčme de l'automatisation de la construction de machines virtuelles offensives et de vérifieurs de bytecode ŕ partir de machines virtuelles défensives.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verification formelle de la plate-forme javacard

Autor Melo de Sousa-S

Sprache

Französisch

Einband Buch - Broschur

Datum der Veröffentlichung 2018

Anzahl der Seiten 216

EAN 9786131539312

ISBN 6131539316

Libristo-Code 07008440

Verlag Omniscriptum

Gewicht 322

Abmessungen 152 x 229 x 12

Kategorie

Biografien, Literatur, Literaturwissenschaft > Literatur: Geschichte und Kritik > Literaturwissenschaft, allgemein

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert