|
21 |
NASA Formal Methods Cham : Springer International Publishing, 2016, 1st ed. 2016
|
Verlagsinformation
|
|
22 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2016, 1st edition 2016
|
Ankündigung
|
|
23 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2016, 1st ed. 2015
|
Verlagsinformation
|
|
24 |
Web Services, Formal Methods, and Behavioral Types Cham : Springer International Publishing, 2016, 1st ed. 2016
|
Verlagsinformation
|
|
25 |
FM 2015: Formal Methods Cham : Springer International Publishing, 2015, Aufl. 2015
|
Verlagsinformation
|
|
26 |
Formal Methods for Industrial Critical Systems Cham : Springer International Publishing, 2015, Aufl. 2015
|
Verlagsinformation
|
|
27 |
Formal Methods for Multicore Programming Cham : Springer International Publishing, 2015, Aufl. 2015
|
Verlagsinformation
|
|
28 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2015, Aufl. 2015
|
Verlagsinformation
|
|
29 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2015, Aufl. 2015
|
Verlagsinformation
|
|
30 |
Software engineering and formal methods SEFM (13. : 2015 : York). - Berlin : Springer, [2015], [1st ed.]
|
|