Static Analysis of Software: The Abstract Interpretation (Bog, Hardback, Engelsk) af J-L Boulanger
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Static Analysis of Software: The Abstract Interpretation

Static Analysis of Software: The Abstract Interpretation

(Bog, Hardback, Engelsk)
Forfatter: J-L Boulanger
Static Analysis of Software: The Abstract Interpretation
Forlag: ISTE Ltd and John Wiley & Sons Inc

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag ISTE Ltd and John Wiley & Sons Inc
Forfatter J-L Boulanger
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 25-11-2011
Første udgivelsesår 2011
Fagredaktør Jean-Louis (Consultant) Boulanger
Originalsprog United Kingdom
Sideantal 331
Indbinding Hardback
Forlag ISTE Ltd and John Wiley & Sons Inc
Sideoplysninger 331 pages
Mål 241 x 163 x 25
ISBN-13 / EAN-13 9781848213203