|
21 |
Integrated Formal Methods Cham : Springer International Publishing, 2018, 1st edition 2018
|
Verlagsinformation
|
|
22 |
NASA Formal Methods Cham : Springer International Publishing, 2018, 1st edition 2018
|
Verlagsinformation
|
|
23 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2018, 1st edition 2018
|
Verlagsinformation
|
|
24 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2018, 1st edition 2018
|
|
|
25 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2018, 1st edition 2018
|
Verlagsinformation
|
|
26 |
Critical Systems: Formal Methods and Automated Verification Cham : Springer International Publishing, 2017, 1st edition 2017
|
Verlagsinformation
|
|
27 |
FM 1016: Formal Methods Cham : Springer International Publishing, 2017, 1st ed. 2016
|
Verlagsinformation
|
|
28 |
Formal Methods and Software Engineering Cham : Springer International Publishing, 2017, 1st edition 2017
|
Verlagsinformation
|
|
29 |
Formal Methods and Software Engineering Cham : Springer International Publishing, 2017, 1st edition 2017
|
|
|
30 |
Formal Methods: Foundations and Applications Cham : Springer International Publishing, 2017, 1st ed. 2016
|
Verlagsinformation
|