Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - Boeken - now publishers Inc - 9781601988560 - 15 december 2015
Indien omslag en titel niet overeenkomen, is de titel correct

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

Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
of

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 15 december 2015
ISBN13 9781601988560
Uitgevers now publishers Inc
Pagina's 140
Afmetingen 156 × 234 × 8 mm   ·   204 g
Taal en grammatica Engels  

Bekijk alles van Julien Bertrane ( bijv. Paperback Book )