Il libro è attualmente esaurito
Parametri
Maggiori informazioni sul libro
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.
Acquisto del libro
Specification and verification of object oriented software components, Andreas Roth
- Lingua
- Pubblicato
- 2006
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.