- We will send in 10–14 business days.
/images/books/13444985/9783866446236.jpg)
- Author: Benjamin WeiÃ
- Publisher: Karlsruher Institut für Technologie
- ISBN-10: 3866446233
- ISBN-13: 9783866446236
- Format: 17 x 24.4 x 1.6 cm, minkšti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Deductive verification of object-oriented software (e-book) (used book) | bookbook.eu
Reviews
Description
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 21d.22:39:47
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Benjamin WeiÃ
- Publisher: Karlsruher Institut für Technologie
- ISBN-10: 3866446233
- ISBN-13: 9783866446236
- Format: 17 x 24.4 x 1.6 cm, minkšti viršeliai
- Language: English English
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
Reviews