Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Foundations and Trends (R) in Programming Languages - Julien Bertrane - Bücher - now publishers Inc - 9781601988560 - 15. Dezember 2015
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Möchtest Du eine E-Mail, sobald der Artikel verfügbar ist?
Hast du ein Profil? Anmelden
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 15. Dezember 2015
ISBN13 9781601988560
Verlag now publishers Inc
Seitenanzahl 140
Maße 156 × 234 × 8 mm   ·   204 g
Sprache Englisch  

Alle Titel von Julien Bertrane ansehen ( u. a. Taschenbuch )