Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

Structured Object-Oriented Formal Language and Method, Fachbücher von Shaoying Liu

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

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

Software Engineering and Formal Methods, Fachbücher von Antonio Cerone, Marco Roveri

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

Formal Methods and Software Engineering, Fachbücher von Michael Butler

Software Engineering and Formal Methods, Fachbücher von Bernhard Rumpe

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

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

Formal Methods for Executable Software Models, Fachbücher

Component-Based Software Testing with UML, Fachbücher

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering C, Fachbücher von Ber...

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

Modeling Companion for Software Practitioners, Fachbücher von Egon Bärger Alexander Raschke