|
41 |
NASA Formal Methods Cham : Springer International Publishing, 2016, 1st ed. 2016
|
Verlagsinformation
|
|
42 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2016, 1st ed. 2016
|
|
|
43 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2016, 1st edition 2016
|
Ankündigung
|
|
44 |
Software Engineering and Formal Methods Cham : Springer International Publishing, 2016, 1st ed. 2015
|
Verlagsinformation
|
|
45 |
Web Services, Formal Methods, and Behavioral Types Cham : Springer International Publishing, 2016, 1st ed. 2016
|
Verlagsinformation
|
|
46 |
FM 2015: Formal Methods Cham : Springer International Publishing, 2015, Aufl. 2015
|
Verlagsinformation
|
|
47 |
Formal Methods and Software Engineering Cham : Springer International Publishing, 2015, 1st ed. 2015
|
|
|
48 |
Formal Methods for Industrial Critical Systems Cham : Springer International Publishing, 2015, Aufl. 2015
|
Verlagsinformation
|
|
49 |
Formal Methods for Multicore Programming Cham : Springer International Publishing, 2015, Aufl. 2015
|
Verlagsinformation
|
|
50 |
Software Engineering and Formal Methods SEFM (13. : 2015 : York). - Cham : Springer International Publishing, 2015, 1st ed. 2015
|
|