Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering) | DealShopping Deutschland
  1. Home
  2. Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)
  • #

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)

26.74 EUR

Teilen:

Ähnliche Produkte

Symbolic Action Theory and Cultural Psychology (Recent Research in Psychology)

Symbolic Action Theory and Cultural Psychology (Recent Research in Psychology)

95.70 EUR
Symbolic Integration I: Transcendental Functions

Symbolic Integration I: Transcendental Functions

116.64 EUR
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

105.94 EUR
MATLAB Symbolic Algebra and Calculus Tools

MATLAB Symbolic Algebra and Calculus Tools

64.19 EUR
Mining and Quarrying in the Ancient Andes

Mining and Quarrying in the Ancient Andes

101.54 EUR
Verification and Control of Hybrid Systems

Verification and Control of Hybrid Systems

139.09 EUR