Norges billigste bøker

Static Analysis of Software

- The Abstract Interpretation

Om Static Analysis of Software

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781848213203
  • Bindende:
  • Hardback
  • Sider:
  • 331
  • Utgitt:
  • 25. november 2011
  • Dimensjoner:
  • 163x241x25 mm.
  • Vekt:
  • 644 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 10. februar 2025

Beskrivelse av Static Analysis of Software

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.

Brukervurderinger av Static Analysis of Software



Finn lignende bøker
Boken Static Analysis of Software finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.