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

Antonio Cerone (u. A.) | Software Engineering And Formal Methods |

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

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Reiner Hähnle, Frank S. de Boer, Elena ...

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Be...

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

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

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

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

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

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

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

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

Formal Methods and Software Engineering, Fachbücher von Zhe Hou, Shang-Wei Lin, Brendan Mahony