Software Engineering and Formal Methods, Fachbücher von Einar Broch Johnsen, Ina Schaefer

Einar Broch Johnsen Software Engineering And Formal Methods

Integrated Formal Methods, Fachbücher von Luigia Petre, Einar Broch Johnsen

Theory and Practice of Formal Methods, Fachbücher von Marcello Bonsangue, Einar Broch Johnsen, Erika Ábrahám

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

Tests and Proofs, Fachbücher von Sebastian Gabmeyer, Einar Broch Johnsen

Formal Methods and Software Engineering, Fachbücher

Service-Oriented and Cloud Computing, Fachbücher von Schahram Dustdar, Marco Aiello, Einar Broch Johnsen, Ilche Georgiev...

Software Engineering and Formal Methods, Fachbücher von Gwen Salaün, Dimitra Giannakopoulou

Formal Methods and Software Engineering, Fachbücher von Zhenhua Duan, Luke Ong

Software Engineering and Formal Methods, Fachbücher von Marjan Sirjani, Alessandro Cimatti

Formal Methods and Software Engineering, Fachbücher von Jun Pang, Stephan Merz

Formal Methods and Software Engineering, Fachbücher von Shengchao Qin, Yamine Ait-Ameur

Software Engineering and Formal Methods, Fachbücher von Gwen Salaün, Peter Csaba Ölveczky

Software Engineering and Formal Methods, Fachbücher von Rocco De Nicola, eva Kühn

Software Engineering and Formal Methods, Fachbücher von Corina S. Pasareanu, Radu Calinescu