Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

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

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781680833867
  • Format:
  • Häftad
  • Utgiven:
  • 5. december 2017
  • Mått:
  • 156x234x14 mm.
  • Vikt:
  • 381 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 11. december 2024

Om Antoine Mine

Se alla böcker av Antoine Mine

Beskrivning av 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.

Användarnas betyg av Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation



Andra köpte även...
Hitta liknande böcker
Boken Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.