Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: tit all "Software engineering and formal methods."
im Bestand: Gesamter Bestand

31 - 40 von 98

31	Integrated Formal Methods Cham : Springer International Publishing, 2017, 1st edition 2017	Verlagsinformation
32	NASA Formal Methods Cham : Springer International Publishing, 2017, 1st edition 2017	Verlagsinformation
33	Software Engineering and Formal Methods Cham : Springer International Publishing, 2017, 1st edition 2017
34	Software Engineering and Formal Methods Cham : Springer International Publishing, 2017, 1st edition 2017	Verlagsinformation
35	Critical Systems: Formal Methods and Automated Verification Cham : Springer International Publishing, 2016, 1st ed. 2016	Verlagsinformation
36	Formal Methods and Software Engineering Cham : Springer International Publishing, 2016, 1st edition 2016
37	Formal Methods and Software Engineering Cham : Springer International Publishing, 2016, 1st ed. 2016	Verlagsinformation
38	Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Cham : Springer International Publishing, 2016, 1st ed. 2016	Verlagsinformation
39	Formal Methods: Foundations and Applications Cham : Springer International Publishing, 2016, 1st ed. 2016	Verlagsinformation
40	Integrated Formal Methods Cham : Springer International Publishing, 2016, 1st ed. 2016	Verlagsinformation