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

Prices from
22.97

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 22.97

£ 22.97

Description (0)

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

Product specifications

Brand Springer
EAN
  • 9783031014239

Springer

Knowledge Graph Reasoning: A Neuro Symbolic Perspective (Synthesis Lectures on Data, Semantics, and Knowledge)

£ 36.44
Compare 2 stores 2 stores

Springer

Neural Symbolic Knowledge Graph Reasoning: A Pathway Towards AI (Synthesis Lectures on Computer Science)

£ 32.42
Compare 2 stores 2 stores

Springer

Introduction to Refrigeration and Air Conditioning Systems: Theory Applications (Synthesis Lectures on Mechanical Engineering)

£ 44.40
Compare 2 stores 2 stores

Springer

Cognitive Fusion for Target Tracking (Synthesis Lectures on Algorithms and Software in Engineering)

£ 24.91
Compare 2 stores 2 stores
Featured Choice
£ 22.97
To Shop