Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - Livres - now publishers Inc - 9781601988560 - 15 décembre 2015
Si la couverture et le titre ne correspondent pas, le titre est correct.

Julien Bertrane
Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages

Recevez un courriel lorsque l'article est disponible
Avez-vous un profil ? Connectez-vous
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This book presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification.

140 pages

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 15 décembre 2015
ISBN13 9781601988560
Éditeurs now publishers Inc
Pages 140
Dimensions 156 × 234 × 8 mm   ·   204 g
Langue et grammaire Anglais  

Voir tous les Julien Bertrane ( par ex. Paperback Book )