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: 06-11-2026 05:30:55
Siehe Produktangebot
Gesponsert
Symbolic Execution and Quantitative Reasoning
SpringerLink DE
27.49 EUR
Preis aktualisiert am: 06-11-2026 16:45:48
Siehe Produktangebot

Allgemein

Marke
Pasareanu, Corina S.

Eigenschaften

Ähnliche Produkte

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)
Aus105.94 EUR 4
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)
Aus101.64 EUR 4
Produkt anzeigen
Verification and Control of Hybrid Systems: A Symbolic Approach
Verification and Control of Hybrid Systems: A Symbolic Approach
Aus126.65 EUR 4
Produkt anzeigen
MATLAB Symbolic Algebra and Calculus Tools
MATLAB Symbolic Algebra and Calculus Tools
Aus63.99 EUR 4
Produkt anzeigen
Symbolic Action Theory and Cultural Psychology (Recent Research in Psychology)
Symbolic Action Theory and Cultural Psychology (Recent Research in Psychology)
Aus103.64 EUR 3
Produkt anzeigen
Symbolic Integration I: Transcendental Functions (Algorithms and Computation in Mathematics, Band 1)
Symbolic Integration I: Transcendental Functions (Algorithms and Computation in Mathematics, Band 1)
Aus116.64 EUR 3
Produkt anzeigen
Menü