Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering - Corina S. Pasareanu - Kirjat - Springer International Publishing AG - 9783031014239 - keskiviikko 13. toukokuuta 2020
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Corina S. Pasareanu

Hinta
zł 118,90

Tilattu etävarastosta

Arvioitu toimitus to 31. heinä - pe 8. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

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

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 13. toukokuuta 2020
ISBN13 9783031014239
Tuottaja Springer International Publishing AG
Sivujen määrä 65
Mitta 191 × 235 × 4 mm   ·   165 g
Kieli English  

Katso kaikki joka sisältää Corina S. Pasareanu ( Esim. Paperback Book )