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

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

Einar Broch Johnsen Software Engineering And Formal Methods

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

Einar Broch Johnsen (u. A.) | Formal Methods For Multicore Programming

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

Service-Oriented and Cloud Computing, Fachbücher von Einar Broch Johnsen

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

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

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

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 Corina S. Pasareanu, Radu Calinescu

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

Software Engineering and Formal Methods, Fachbücher von Antonio Cerone, Frank de Boer

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