Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 3.99 €
DPD-Stelle 2.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 3.99 €
DPD-Stelle 2.99 €
Kostenloser Versand mit Zásilkovna ab 69.99 €
Kaufberater
Mein Konto
▸
Leer :-(
0
From Formal Semantics to Verified Slicing
A Modular Framework with Applications in Language Based Security
Sprache
Englisch
Englisch
Buch
Broschur
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is base...
Vollständige Beschreibung
Libristo-Code: 01877555
?
85 b
85 b
34.59
€
inkl. MwSt.
Externes Lager
Wir versenden in 8-11 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
52.69
€
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.
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
From Formal Semantics to Verified Slicing
Autor
Daniel Wasserrab
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2014
Anzahl der Seiten
224
EAN
9783866445949
Libristo-Code
01877555
Gewicht
272
Abmessungen
148 x 210 x 12
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 geliefertDas könnte Sie auch interessieren
/
Broschur
45.79
€
/
Broschur
139.39
€
/
Broschur
13.49
€
Buchberater Libroamiko
Durch die Nutzung dieses Chats kommunizieren Sie mit generativer künstlicher Intelligenz. Mit der Nutzung erklären Sie sich auch mit der Verarbeitung personenbezogener Daten einverstanden.
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?
Hallo, ich bin Libroamiko, kann ich helfen?