Knihu momentálně nemáme skladem
Parametry
Více o knize
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 vydání
- 2006
- product-detail.submit-box.info.binding
- (měkká)
Jakmile ji vyčmucháme, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.