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

37.00 EUR

Ein wissenschaftliches Buch, das die Brücke zwischen formaler Semantik und verifizierter Slicing schlägt, und modulare Sicherheitskonzepte für Programmiersprachen detailliert erläutert.

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

15-04-2025 22:00:47

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

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

Ähnliche Produkte

Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information

Slavic Grammar from a Formal Perspective

From Discourse to Logic

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 Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory