Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Static Analysis

Static Analysis

- 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

enthalten in Theoretical Computer Science and General Issues-Reihe

enthalten in Lecture Notes in Computer Science-Reihe

Static Analysis
Über Static Analysis

The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783319109350
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 337
  • Veröffentlicht:
  • 20. August 2014
  • Ausgabe:
  • 2014
  • Abmessungen:
  • 155x235x19 mm.
  • Gewicht:
  • 5387 g.
  Versandkostenfrei
  Sofort lieferbar
Verlängerte Rückgabefrist bis 31. Januar 2025

Beschreibung von Static Analysis

The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Kund*innenbewertungen von Static Analysis



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Static Analysis ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.