From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security: A Modular Framework with Applications in Language Based Security

Ein wissenschaftliches Werk, das die Verbindung zwischen formaler Semantik und verifizierter Slicing-Technik erkundet, modulare Sicherheitsmodelle in ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Hugendubel
37.00 EUR
Preis aktualisiert am: 02-09-2024 20:40:56
Siehe Produktangebot
Gesponsert
From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security: A Modular Framework with Applications in Language Based Security
Medimops DE
37.00 EUR
Preis aktualisiert am: 17-04-2025 00:30:19
Siehe Produktangebot

Allgemein

Marke
Daniel Wasserrab
ISBN
Daniel Wasserrab 3866445946

Eigenschaften

Ähnliche Produkte

Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science)
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science)
Produkt anzeigen
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory Part 1
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory Part 1
Produkt anzeigen
From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory
From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory
Produkt anzeigen
Slavic Grammar from a Formal Perspective
Slavic Grammar from a Formal Perspective
Produkt anzeigen
From Discourse to Logic
From Discourse to Logic
Produkt anzeigen
Menü