Leveraging Applications of Formal Methods, Verification and Validation: Verifica
102,10 €
Who Carries the Burden of Modularity?. - Composing Communicating Systems, Synchronously. - Modular Verification of JML Contracts Using Bounded Model Checking. - On Slicing Software Product Line Signatures.
Jetzt bei Ebay:
