Static Analysis / Lecture Notes in Computer Science Bd.12389 (PDF)
The 14 regular papers presented in this book together with 2 invited talks and 1 extended...
37 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions.
The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking.
Due to the Corona pandemic this event was held virtually.
- 2021, 1st ed. 2020, 381 Seiten, Englisch
- Herausgegeben: David Pichardie, Mihaela Sighireanu
- Verlag: Springer International Publishing
- ISBN-10: 3030654745
- ISBN-13: 9783030654740
- Erscheinungsdatum: 12.01.2021
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 14 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Static Analysis / Lecture Notes in Computer Science Bd.12389".
Kommentar verfassen