60,95 €
60,95 €
inkl. MwSt.
Sofort per Download lieferbar
payback
30 °P sammeln
60,95 €
60,95 €
inkl. MwSt.
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
payback
30 °P sammeln
Als Download kaufen
60,95 €
inkl. MwSt.
Sofort per Download lieferbar
payback
30 °P sammeln
Jetzt verschenken
60,95 €
inkl. MwSt.
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
payback
30 °P sammeln
  • Format: PDF

This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout.

Produktbeschreibung
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout.
Autorenporträt
QUENTIN CHARATAN is Principal Lecturer at the University of East London, UK.