|
11 |
Formal Methods and Software Engineering
Cham : Springer International Publishing, 2017, 1st edition 2017
|
Verlagsinformation
|
|
|
12 |
Formal Methods: Foundations and Applications
Cham : Springer International Publishing, 2017, 1st ed. 2016
|
Verlagsinformation
|
|
|
13 |
Integrated Formal Methods
Cham : Springer International Publishing, 2017, 1st edition 2017
|
Verlagsinformation
|
|
|
14 |
NASA Formal Methods
Cham : Springer International Publishing, 2017, 1st edition 2017
|
Verlagsinformation
|
|
|
15 |
Software Engineering and Formal Methods
Cham : Springer International Publishing, 2017, 1st edition 2017
|
Verlagsinformation
|
|
|
16 |
Critical Systems: Formal Methods and Automated Verification
Cham : Springer International Publishing, 2016, 1st ed. 2016
|
Verlagsinformation
|
|
|
17 |
Formal Methods and Software Engineering
Cham : Springer International Publishing, 2016, 1st ed. 2016
|
Verlagsinformation
|
|
|
18 |
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Cham : Springer International Publishing, 2016, 1st ed. 2016
|
Verlagsinformation
|
|
|
19 |
Formal Methods: Foundations and Applications
Cham : Springer International Publishing, 2016, 1st ed. 2016
|
Verlagsinformation
|
|
|
20 |
Integrated Formal Methods
Cham : Springer International Publishing, 2016, 1st ed. 2016
|
Verlagsinformation
|
Administration
