From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security: A Modular Framework with Applications in Language Based Security: Dissertationsschrift - Softcover
Inhaltsangabe
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 resul
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für From Formal Semantics to Verified Slicing: A Modular...
Foto des Verkäufers
From Formal Semantics to Verified Slicing
Verlag:
Karlsruher Institut Fur Technologie, 2014
ISBN 10: 3866445946
ISBN 13: 9783866445949
Neu
Paperback
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers LU-9783866445949
Neu kaufen
EUR 44,73
Versand gratis
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Verlag:
Karlsruher Institut f?r Technologie, 2014
ISBN 10: 3866445946
ISBN 13: 9783866445949
Neu
PAP
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9783866445949
Neu kaufen
EUR 44,74
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
From Formal Semantics to Verified Slicing A Modular Framework with Applications in Language Based Security A Modular Framework with Applications in Language Based Security
Verlag:
Karlsruher Institut f?r Technologie, 2014
ISBN 10: 3866445946
ISBN 13: 9783866445949
Neu
PAP
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9783866445949
Neu kaufen
EUR 41,38
EUR 4,81 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security: A Modular Framework with Applications in Language Based Security
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783866445949_new
Neu kaufen
EUR 41,62
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security: A Modular Framework with Applications in Language Based Security
Verlag:
KIT Scientific Publishing 2012-03-08, 2012
ISBN 10: 3866445946
ISBN 13: 9783866445949
Neu
Paperback
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783866445949
Neu kaufen
EUR 37,82
EUR 17,91 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Verlag:
Karlsruher Institut Für Technologie Mrz 2011, 2011
ISBN 10: 3866445946
ISBN 13: 9783866445949
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 224 pp. Englisch. Bestandsnummer des Verkäufers 9783866445949
Neu kaufen
EUR 37,00
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 s. Bestandsnummer des Verkäufers 5587940
Neu kaufen
EUR 37,00
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
ISBN 10: 3866445946
ISBN 13: 9783866445949
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 224 pp. Englisch. Bestandsnummer des Verkäufers 9783866445949
Neu kaufen
EUR 37,00
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
ISBN 10: 3866445946
ISBN 13: 9783866445949
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783866445949
Neu kaufen
EUR 37,00
EUR 61,66 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Verlag:
Karlsruher Institut für Technologie, 2014
ISBN 10: 3866445946
ISBN 13: 9783866445949
Neu
Taschenbuch
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security | Daniel Wasserrab | Taschenbuch | 224 S. | Englisch | 2014 | Karlsruher Institut für Technologie | EAN 9783866445949 | Verantwortliche Person für die EU: Karlsruher Institut für Technologie (KIT), Institut AIFB, Kaiserstr. 89, 76133 Karlsruhe, verlag[at]aifb[dot]uni-karlsruhe[dot]de | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 105170332
Neu kaufen
EUR 37,00
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar