Formal Methods and Software Engineering: 5th International Conference on Formal
124,29 €
Invited Talks. - Programs as Paths: An Approach to Timing Constraint Analysis. - Model Based Code Verification. - Testing and Validation. - An AMBA-ARM7 Formal Verification Platform. - Formalization, Testing and Execution of a Use Case Diagram.
Jetzt bei Ebay:
