Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation - Prijzen

This monograph presents Abstract Interpretation and its use to create static analyzers that infer numeric properties on programs. Abstract Interpretation, born in the late 1970s, has proven a very effective method to construct static analyzers. It has led to successful program analysis tools like PolySpace Verifier (The Mathworks) and the Astree analyzer (AbsInt): industrial tools that are routinely used in the avionic, automotive, and space indu...

De Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation is een populaire optie voor Programmeertalen. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.

Productspecificaties

Waar te koop

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.