• Produktbild: Static Analysis
  • Produktbild: Static Analysis
Band 7460

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.08.2012

Abbildungen

XI, 457 p. 153 illus.

Herausgeber

Antoine Mine + weitere

Verlag

Springer Berlin

Seitenzahl

457

Maße (L/B/H)

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

Gewicht

709 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33124-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.08.2012

Abbildungen

XI, 457 p. 153 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

457

Maße (L/B/H)

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

Gewicht

709 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33124-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.