1. Home
  2. Medien
  3. Bücher
  4. 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

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.

Teilen:

Ähnliche Produkte

From Discourse to Logic

From Discourse to Logic

353.09 EUR
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

320.99 EUR
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

85.59 EUR
Empirical Issues in Formal Syntax and Semantics: Selected Papers from the Colloque de Syntaxe et de Sémantique de Paris

Empirical Issues in Formal Syntax and Semantics: Selected Papers from the Colloque de Syntaxe et de Sémantique de Paris

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

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

50.35 EUR
Slavic Grammar from a Formal Perspective

Slavic Grammar from a Formal Perspective

134.20 EUR
Religion under the barons of Baltimore;

Religion under the barons of Baltimore;

27.90 EUR
From Object-Orientation to Formal Methods

From Object-Orientation to Formal Methods

53.49 EUR