Medias
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. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically in
...
Spécifications techniques
Date de sortie | 07 février 2013 |
Langue | Français |
Éditeur | Wiley-ISTE |
Accessibilité | Aucune information disponible concernant l'accessibilité pour le format PDF |