• Produktbild: Static Analysis
  • Produktbild: Static Analysis

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.08.2012

Abbildungen

XI, 153 illus., schwarz-weiss Illustrationen

Herausgeber

Antoine Mine + weitere

Verlag

Springer Berlin

Seitenzahl

457

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

710 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33124-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.08.2012

Abbildungen

XI, 153 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

457

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

710 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33124-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Static Analysis
  • Produktbild: Static Analysis
  • Static analysis.- Including abstract domains.- Abstract interpretation.- Abstract testing.- Data flow analysis.- Bug detection.- Program transformation.- Program verification.- Security analysis and type checking.