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

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

Software Engineering And Formal Methods Gwen Salaün (u. A.)

Formal Methods and Software Engineering, Fachbücher

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 Aspects of Component Software, Fachbücher von Farhad Arbab, Peter Csaba Ölveczky

Formal Aspects of Component Software, Fachbücher von Kyungmin Bae, Peter Csaba Ölveczky

Formal Aspects of Component Software, Fachbücher von Peter Csaba Ölveczky, Christiano Braga

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

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

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

Formal Methods and Software Engineering, Fachbücher von Michael Butler, Fatiha Zaïdi, Sylvain Conchon

Software Engineering and Formal Methods, Fachbücher von Bernhard Rumpe, Radu Calinescu, Domenico Bianculli