Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Artikelnummer: 978-3-642-33124-4
Einband: Kartonierter Einband (Kt)
Verfügbarkeit: Lieferbar in ca. 20-45 Arbeitstagen
CHF 70.00
decrease increase
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 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.
EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 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.
EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer EN
EinbandKartonierter Einband (Kt)
Erscheinungsjahr2012
Seitenangabe457 S.
AusgabekennzeichenEnglisch
AbbildungenXI, 457 p. 153 illus., schwarz-weiss Illustrationen
MasseH23.5 cm x B15.5 cm 718 g
CoverlagSpringer (Imprint/Brand)
ReiheProgramming and Software Engineering; Lecture Notes in Computer Science
AutorMine, Antoine (Hrsg.) / Schmidt, David (Hrsg.)

Alle Bände der Reihe "Programming and Software Engineering; Lecture Notes in Computer Science"

Weitere Titel von Antoine (Hrsg.) Mine

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten