Het boek is momenteel niet op voorraad
Parameters
Meer over het boek
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.
Een boek kopen
Specification and verification of object oriented software components, Andreas Roth
- Taal
- Jaar van publicatie
- 2006
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.