Name: Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Price: 879.95 DKK
Availability: InStock
Author: Julien Bertrane
ISBN: 9781601988560

Static Analysis and Verification of Aerospace Software by Abstract Interpretation af Julien Bertrane

Du sparer 0% ift. normalprisen Spar 0%

Paperback
2-3 uger
879,95 kr.

Bag om Static Analysis and Verification of Aerospace Software by Abstract Interpretation

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.

Vis mere

Sprog:
Engelsk

ISBN:
9781601988560

Forlag:
now publishers Inc

Indbinding:
Paperback

Sideantal:
140

Udgivet:
15. december 2015

Størrelse:
156x234x8 mm.

Vægt:
208 g.

Leveringstid: 2-3 uger.
Forventet levering: 4. december 2024

Normalpris

BLACK NOVEMBER
879,95 kr. + Fragt
~~879,95 kr.~~

Medlemspris

829,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Julien Bertrane

Vis alle bøger af Julien Bertrane

Beskrivelse af Static Analysis and Verification of Aerospace Software by Abstract Interpretation

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.

Brugerbedømmelser af Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Andre købte også..

Find lignende bøger

Bogen Static Analysis and Verification of Aerospace Software by Abstract Interpretation findes i følgende kategorier:

Business og læring > Computer og IT

Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Julien Bertrane - Bog

Bag om Julien Bertrane

Beskrivelse af Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Brugerbedømmelser af Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Gør som tusindvis af andre bogelskere