|
61 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2014, Aufl. 2014
|
Verlagsinformation
|
|
62 |
Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
|
|
|
63 |
Formal methods and software engineering Heidelberg : Springer, 2013
|
|
|
64 |
Software engineering and formal methods Heidelberg : Springer, 2013
|
|
|
65 |
Software Engineering and Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
|
|
|
66 |
Unifying Theories of Programming and Formal Engineering Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
|
|
|
67 |
Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
68 |
Formal methods and software engineering Berlin : Springer, 2012
|
|
|
69 |
Formal Methods for Model-Driven Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
70 |
Software engineering and formal methods Berlin : Springer, 2012
|
|