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. Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

von Antoine Mine
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation von Antoine Mine
Über Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

This monograph is intended as an entry course in Abstract Interpretation, after which the reader should be ready to read the research literature on current advances in Abstract Interpretation, as well as more practical articles on the design of industrial-strength static analyzers for real languages.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781680833867
  • Einband:
  • Taschenbuch
  • Veröffentlicht:
  • 5. Dezember 2017
  • Abmessungen:
  • 156x234x14 mm.
  • Gewicht:
  • 381 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Antoine Mine

Alle Bücher von Antoine Mine anzeigen

Beschreibung von Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

This monograph is intended as an entry course in Abstract Interpretation, after which the reader should be ready to read the research literature on current advances in Abstract Interpretation, as well as more practical articles on the design of industrial-strength static analyzers for real languages.

Kund*innenbewertungen von Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation 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.