Software Verification and Analysis

An Integrated, Hands-On Approach (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.
lieferbar
versandkostenfrei

Bestellnummer: 16198525

Buch85.59
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 16198525

Buch85.59
In den Warenkorb
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

Kommentar zu "Software Verification and Analysis"

Andere Kunden kauften auch

Mehr Bücher von Janusz Laski

Weitere Empfehlungen zu „Software Verification and Analysis “

0 Gebrauchte Artikel zu „Software Verification and Analysis“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich