Extending KeY for the Verification of C Programs

The Development of a Prototype (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in industrial applications software verification remains an ongoing...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 15348014

BuchFr. 118.90
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 15348014

BuchFr. 118.90
Jetzt vorbestellen
Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in industrial applications software verification remains an ongoing...

Kommentar zu "Extending KeY for the Verification of C Programs"

Andere Kunden kauften auch

Weitere Empfehlungen zu „Extending KeY for the Verification of C Programs “

Weitere Artikel zum Thema

0 Gebrauchte Artikel zu „Extending KeY for the Verification of C Programs“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung