P¿s¿reanu, Corina S.: Symbolic Execution and Quantitative Reasoning

Wo zu kaufen (2) Eigenschaften
Gesponsert
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)
Medimops DE
26.74 EUR
Preis aktualisiert am: 14-06-2026 02:09:26
Siehe Produktangebot
Gesponsert
Symbolic Execution and Quantitative Reasoning
SpringerLink DE
26.74 EUR
Preis aktualisiert am: 14-06-2026 10:09:59
Siehe Produktangebot

Allgemein

Marke
Pasareanu, Corina S.

Eigenschaften

Ähnliche Produkte

Symbolic Integration I: Transcendental Functions (Algorithms and Computation in Mathematics, Band 1)
Symbolic Integration I: Transcendental Functions (Algorithms and Computation in Mathematics, Band 1)
Produkt anzeigen
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. ... Notes in Computer Science, 2143, Band 2143)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. ... Notes in Computer Science, 2143, Band 2143)
Produkt anzeigen
Mining and Quarrying in the Ancient Andes: Sociopolitical, Economic, and Symbolic Dimensions (Interdisciplinary Contributions to Archaeology)
Mining and Quarrying in the Ancient Andes: Sociopolitical, Economic, and Symbolic Dimensions (Interdisciplinary Contributions to Archaeology)
Produkt anzeigen
Verification and Control of Hybrid Systems: A Symbolic Approach
Verification and Control of Hybrid Systems: A Symbolic Approach
Produkt anzeigen
Symbolic Action Theory and Cultural Psychology (Recent Research in Psychology)
Symbolic Action Theory and Cultural Psychology (Recent Research in Psychology)
Produkt anzeigen
MATLAB Symbolic Algebra and Calculus Tools
MATLAB Symbolic Algebra and Calculus Tools
Produkt anzeigen
Menü