Static Analysis of Software
The Abstract Interpretation
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.
CHF 229.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
- ISBN: 978-1-84821-320-3
- EAN: 9781848213203
- Produktnummer: 12239541
- Verlag: ISTE Ltd and John Wiley & Sons Inc
- Sprache: Englisch
- Erscheinungsjahr: 2011
- Seitenangabe: 346 S.
- Masse: H24.1 cm x B15.6 cm x D2.4 cm 646 g
- Gewicht: 646
- Sonstiges: General (US: Trade)
18 weitere Werke von Jean-Louis (Hrsg.) Boulanger:
Formal Methods Applied to Industrial Complex Systems
The Abstract Interpretation
The Abstract Interpretation
Ebook (PDF Format)
CHF 170.00
Formal Methods Applied to Industrial Complex Systems
The Abstract Interpretation
The Abstract Interpretation
Ebook (EPUB Format)
CHF 170.00
Formal Methods Applied to Complex Systems
The Abstract Interpretation
The Abstract Interpretation
Ebook (EPUB Format)
CHF 175.00
Bewertungen
Anmelden