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)

Bestellnummer: 15348014

Buch79.00
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)

Bestellnummer: 15348014

Buch79.00
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...

Andere Kunden kauften auch

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

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
  • Ratenzahlung möglich