•     
  • Home  -  
  • Categorieën  -  
  • Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane-Patrick Cousot-Radhia Cousot-Jerome Feret


Engels | 10-07-2025 | 140 pagina's

9781601988560

Paperback / softback


€ 96,00

  In winkelwagentje
 Van Dinter boeken
   Niet in magazijn, wel te bestellen.
Informeer naar levertijd




Tekst achterflap

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.

Details

EAN :9781601988560
Auteur: 
Uitgever :Van Ditmar Boekenimport B.V.
Publicatie datum :  10-07-2025
Uitvoering :Paperback / softback
Taal/Talen : Engels
Status :Niet in magazijn, wel te bestellen.
Informeer naar levertijd
Aantal pagina's :140
Reeks :  Foundations and Trends® in Programming Languages