Static Analysis / Lecture Notes in Computer Science Bd.12913 (PDF)
The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are...
42 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis.
- 2021, 1st ed. 2021, 479 Seiten, Englisch
- Herausgegeben: Cezara Dragoi, Suvam Mukherjee, Kedar Namjoshi
- Verlag: Springer International Publishing
- ISBN-10: 3030888061
- ISBN-13: 9783030888060
- Erscheinungsdatum: 13.10.2021
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 18 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Static Analysis / Lecture Notes in Computer Science Bd.12913".
Kommentar verfassen