|
1 |
Formal Methods
Cham : Springer International Publishing, 2018, 1st edition 2018
|
Verlagsinformation
|
|
|
2 |
Formal Methods and Software Engineering
Cham : Springer International Publishing, 2018
|
Verlagsinformation
|
|
|
3 |
Formal Methods: Foundations and Applications
Cham : Springer International Publishing, 2018, 1st edition 2017
|
Verlagsinformation
|
|
|
4 |
Formal Methods: Foundations and Applications
Cham : Springer International Publishing, 2018
|
Verlagsinformation
|
|
|
5 |
Integrated Formal Methods
Cham : Springer International Publishing, 2018, 1st edition 2018
|
Verlagsinformation
|
|
|
6 |
NASA Formal Methods
Cham : Springer International Publishing, 2018, 1st edition 2018
|
Verlagsinformation
|
|
|
7 |
Software Engineering and Formal Methods
Cham : Springer International Publishing, 2018, 1st edition 2018
|
Verlagsinformation
|
|
|
8 |
Software Engineering and Formal Methods
Cham : Springer International Publishing, 2018, 1st edition 2018
|
Verlagsinformation
|
|
|
9 |
Critical Systems: Formal Methods and Automated Verification
Cham : Springer International Publishing, 2017, 1st edition 2017
|
Verlagsinformation
|
|
|
10 |
FM 1016: Formal Methods
Cham : Springer International Publishing, 2017, 1st ed. 2016
|
Verlagsinformation
|
Administration
