Formal Methods for Components and Objects, Fachbücher von Susanne Graf, Marcello M. Bonsangue

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Marcello M. Bonsangue

Formal Methods For Components And Objects 11th International

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |

Frank S. De Boer (u. A.) | Formal Methods For Components And Objects |

Formal Techniques For Distributed Objects, Components, And Systems

Formal Methods for Open Object-Based Distributed Systems V, Fachbücher

From Object-Orientation to Formal Methods, Fachbücher

Formal Methods for Computer/Communications Protocols and Software, Fachbücher

Formal Methods and Stochastic Models for Performance Evaluation, Fachbücher

Formal Methods For Mining Structured Objects 4849

Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher

Weakly supervised methods for learning actions and objects, Fachbücher

Formal Methods for Performance Evaluation, Fachbücher

Formal Methods and Testing, Fachbücher

Formal Methods and Models for System Design, Fachbücher von Sandeep Kumar Shukla