Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

Static Analysis

  • Kartonierter Einband
  • 512 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held i... Weiterlesen
20%
100.00 CHF 80.00
Sie sparen CHF 20.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

State-of-the-art research

Fast-track conference proceedings

Unique visibility



Inhalt
Abstract domains.- Abstract interpretation.- Abstract testing.- Bug detection.- Data flow analysis.- Model checking.- New applications.- Program transformation.- Program verification.- Security analysis.- Theoretical frameworks.- Type checking.

Produktinformationen

Titel: Static Analysis
Untertitel: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
Editor:
EAN: 9783642388552
ISBN: 3642388558
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 512
Gewicht: 768g
Größe: H235mm x B155mm x T27mm
Jahr: 2013
Untertitel: Englisch
Auflage: 2013

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"

Teil 7935
Sie sind hier.