Rigorous Software Development
An Introduction to Program Verification
Seiten
2026
|
2. Second Edition 2025
Springer London (Hersteller)
978-1-4471-7558-2 (ISBN)
Springer London (Hersteller)
978-1-4471-7558-2 (ISBN)
- Noch nicht erschienen - erscheint am 24.01.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
List of Figures.- 1. Introduction.- 2. An Overview of Formal Methods Tools and Techniques.- 3. Propositional Logic.- 4. First-Order Logic.- 5. Hoare Logic.- 6. Generating Verification Conditions.- 7. Safety Properties.- 8. Procedures and Contracts.- 9. Specifying C Programs.- 10. Verifying C Programs.- Bibliography.- Index.
| Erscheint lt. Verlag | 24.1.2026 |
|---|---|
| Reihe/Serie | Professional and Applied Computing |
| Professional and Applied Computing (R0) | Undergraduate Topics in Computer Science |
| Zusatzinfo | XVI, 290 p. 49 illus., 3 illus. in color. |
| Verlagsort | London |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | ACSL • First-Order Logic • formal methods • hoare logic • Programming with Contracts • Program verification • propositional logic |
| ISBN-10 | 1-4471-7558-1 / 1447175581 |
| ISBN-13 | 978-1-4471-7558-2 / 9781447175582 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
