Kniha momentálne nie je na sklade
Parametre
Viac o knihe
This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.
Nákup knihy
Specification and verification of object oriented software components, Andreas Roth
- Jazyk
- Rok vydania
- 2006
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Doručenie
Platobné metódy
Nikto zatiaľ neohodnotil.