Buch

---

Übersicht

---

Verlag	:	Springer International Publishing
Buchreihe	:	Texts in Computer Science
Sprache	:	Englisch
Erschienen	:	11. 09. 2023
Seiten	:	230
Einband	:	Gebunden
Höhe	:	235 mm
Breite	:	155 mm
ISBN	:	9783031301667
Sprache	:	Englisch
Illustrationen	:	XV, 230 p.

---

Autorinformation

---

Marieke Huisman is Professor at the Faculty of Electrical Engineering, Mathematics and Computer Science of the University of Twente, The Netherlands, and Anton Wijs is Assistant Professor at the Department of Mathematics and Computer Science of the Eindhoven University of Technology, The Netherlands.

Inhaltsverzeichnis

---

1. Introduction.- 2. Background on First-Order Logic and Set Theory.- 3. System Modelling.- 4. Crash Course on Temporal Logic and its Verification.- 5. Software Analysis.- 6. Crash Course on Design by Contract Specifications.- 7. Run-time checking of Design by Contract Specifications.- 8. Static Checking of Design by Contract Specification.- 9. Abstract Specifications.

Deine Buchhandlung

---