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

Integration Of Software Specification Techniques For Applications In

Formal And Adaptive Methods For Automation Of Parallel Programs

Scalable Techniques For Formal Verification 2832

Formulating Requirement Engineering Techniques For Mobile

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

Program Analysis Techniques For Identifying Concurrency Errors An

Formal Techniques For Safety-critical Systems Third International

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

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

Formal Techniques For Distributed Objects, Components, And Systems

Scalable Techniques For Formal Verification Sandip Ray Taschenbuch

Ai Techniques For Biomedical Engineering Applications | Lingraj Dora

Modular Ontologies Concepts, Theories And Techniques For Knowledge