Tools and Methods of Program Analysis
6th International Conference, TMPA 2021, Tomsk, Russia, November 25¿27, 2021, Revised Selected Papers
Herausgegeben:Yavorskiy, Rostislav; Cavalli, Ana Rosa; Kalenkova, Anna
Tools and Methods of Program Analysis
6th International Conference, TMPA 2021, Tomsk, Russia, November 25¿27, 2021, Revised Selected Papers
Herausgegeben:Yavorskiy, Rostislav; Cavalli, Ana Rosa; Kalenkova, Anna
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25-27, 2021. The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.
- Tools and Methods of Program Analysis37,99 €
- Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles37,99 €
- Static Analysis52,99 €
- Formal Techniques for Safety-Critical Systems37,99 €
- Advances in Model and Data Engineering in the Digitalization Era59,99 €
- Model-Driven Engineering and Software Development52,99 €
- Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops37,99 €
-
-
-
The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.
- Produktdetails
- Communications in Computer and Information Science 1559
- Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
- Artikelnr. des Verlages: 978-3-031-50422-8
- 1st ed. 2024
- Seitenzahl: 208
- Erscheinungstermin: 3. Januar 2024
- Englisch
- Abmessung: 235mm x 155mm x 12mm
- Gewicht: 324g
- ISBN-13: 9783031504228
- ISBN-10: 3031504224
- Artikelnr.: 69418121
- Communications in Computer and Information Science 1559
- Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
- Artikelnr. des Verlages: 978-3-031-50422-8
- 1st ed. 2024
- Seitenzahl: 208
- Erscheinungstermin: 3. Januar 2024
- Englisch
- Abmessung: 235mm x 155mm x 12mm
- Gewicht: 324g
- ISBN-13: 9783031504228
- ISBN-10: 3031504224
- Artikelnr.: 69418121