Formal Specification Techniques For Engineering Modular C Programs |

Formal Description Techniques And Protocol Specification, Testing And

Formal Methods For Analyzing Privacy Policies Techniques For Formal

Scalable Techniques For Formal Verification 9716

Integration Of Software Specification Techniques For Applications In

Formal And Adaptive Methods For Automation Of Parallel Programs

Formulating Requirement Engineering Techniques For Mobile

Hartmut König (u. A.) | Formal Techniques For Networked And

Program Analysis Techniques For Identifying Concurrency Errors An

Numerical Techniques For Heat Equation With Boundary Specifications

Formal Techniques For Distributed Objects, Components, And Systems |

Formal Techniques For Safety-critical Systems 7th International

Sandip Ray | Scalable Techniques For Formal Verification | Taschenbuch

Mahesh Viswanathan (u. A.) | Formal Techniques For Distributed

Catuscia Palamidessi (u. A.) | Formal Techniques For Distributed

Mathematical Techniques | An Introduction For The Engineering,