Fortell venner om denne varen:
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering Corina S. Pasareanu
Pris
NOK 269
Bestillingsvarer
Forventes levert 13. - 21. okt
Få varsel om nye utgivelser fra Corina S. Pasareanu
Legg til iMusic ønskeliste
eller
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering
Corina S. Pasareanu
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems.
65 pages, IX, 65 p.; IX, 65 p.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 13. mai 2020 |
| ISBN13 | 9783031014239 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 65 |
| Mål | 191 × 235 × 4 mm · 165 g |
| Språk | Engelsk |
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Innbunden bok) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Transmission Electron Microscopy: The Companion Volume (Pocketbok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-pocketbok&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Innbunden bok) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-innbunden-bok&class=scaled&v=1594018037)
![Cover for Interventional Oncology: A Multidisciplinary Approach to Image-Guided Cancer Therapy (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/612/9783031497612.jpg?2027-interventional-oncology-a-multidisciplinary-approach-to-image-guided-cancer-therapy-innbunden-bok&class=scaled&v=1788188382)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2026-strength-of-materials-volume-i-concepts-problems-solutions-innbunden-bok&class=scaled&v=1778114493)
![Cover for Ram S. Jakhu · Sustainable Development in South Asia: The Role of Space Technologies, Laws and Policies - Space and Society (Innbunden bok) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/620/9783031713620.jpg?ram-s-jakhu-2026-sustainable-development-in-south-asia-the-role-of-space-technologies-laws-and-policies-space-and-society-innbunden-bok&class=scaled&v=1788186816)
![Cover for Keratoprostheses: Overcoming Corneal Blindness (Innbunden bok) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/906/9783031770906.jpg?2026-keratoprostheses-overcoming-corneal-blindness-innbunden-bok&class=scaled&v=1774452309)
![Cover for Peter C. Hill · Measures of Religiosity and Spirituality (Bok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/431/9783031483431.jpg?peter-c-hill-2026-measures-of-religiosity-and-spirituality-bok&class=scaled&v=1780099572)
![Cover for Regional Metallogenic Analysis, Resources Targeting and Assessment - Modern Approaches in Solid Earth Sciences (Innbunden bok) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/860/9783031575860.jpg?2026-regional-metallogenic-analysis-resources-targeting-and-assessment-modern-approaches-in-solid-earth-sciences-innbunden-bok&class=scaled&v=1788186814)
